Page 1 of 1

Formal Verification of Automotive SW

Posted: Wed May 18, 2011 11:21 am
by M.K. Srivas

Does either ISO 26262 or MISRA SA documents provide any guidelines or requirements regarding use of "formal verification techniques" for ensuring correctness of safety-critical automotive SW? ANy benchmarks?

Can I get any references to significant works in applying formal verification techniques to auto-motive SW?

I'd appreciate if you can provide feedback.

Thanks and regards,