18-05-2011, 10:21 AM
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
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