Formal Verification of Automotive SW

Forum for discussing and asking questions about the MISRA "Guidelines for safety analysis of vehicle based programmable systems"

Moderator: david ward

Post Reply
M.K. Srivas
Posts: 1
Joined: Tue Apr 26, 2011 12:52 pm
Company: Texas Instruments

Formal Verification of Automotive SW

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


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,


Post Reply

Return to “MISRA SA discussions”