Tesla's test and validation framework must be something else. I've never written code that may kill someone if it fails. Not directly at least.

A in-dept report on Teslas' code and system qualification framework would be a very interesting read, I'm sure.