The safety verification requirements of the ISO 26262 automotive standard are clearly defined but gathering the metrics to show they have been satisfied is more onerous. Formal verification techniques are being promoted as a way of relieving the burden. This article explains how to use formal verification for static and transient fault analysis to generate ISO 26262 safety metrics.

Read More

Find out how T&VS Formal Verification techniques helps to improve the quality of Verification.