+- MISRA Discussion Forums (https://forum.misra.org.uk)
+-- Forum: MISRA Safety Analysis (https://forum.misra.org.uk/forumdisplay.php?fid=7)
+--- Forum: MISRA SA discussions (https://forum.misra.org.uk/forumdisplay.php?fid=117)
+--- Thread: Formal Verification of Automotive SW (/showthread.php?tid=827)
Formal Verification of Automotive SW - M.K. Srivas - 18-05-2011
Hi:
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,
Srivas