For automotive software the ISO 26262 is the equivalent to RTCA DO-178 in avioni...

sfrank on Jan 22, 2019 | parent | context | favorite | on: Why Don't People Use Formal Methods?

For automotive software the ISO 26262 is the equivalent to RTCA DO-178 in avionics. ISO 26262 highly recommends that ASIL C and D-classified systems utilize semiformal and formal verification among other techniques to verify software unit design and implementation.