close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Formal for Safety-Critical Designs

Our marketing communications manager, McKenzie Ross, recently got behind the wheel of a Tesla Model X to discuss using formal to verify safety-critical designs that must be ISO 26262-compliant. OneSpin reminds you to drive safely, obey traffic laws and follow manufacturer recommendations when using advanced driver-assistance systems.