In real life, eg aviation, you would formally verify the code and the firmware t...

		joshvm on May 13, 2019 \| parent \| context \| favorite \| on: Openpilot – open-source self-driving agent In real life, eg aviation, you would formally verify the code and the firmware that interacts with hardware. https://en.wikipedia.org/wiki/Formal_verification