Published on September 11, 2018.

Webinar: Formal Verification - Certified for ISO 26262

For the third webinar of our ISO 26262 series, we cordially invite you to discover how BTC EmbeddedSpecifier and BTC EmbeddedValidator can help you to formally verify your safety requirements in an ISO 26262-compliant way

Imagine if your computer could understand your requirements. “Explaining” your safety critical requirements to your computer with BTC EmbeddedSpecifier will not only improve their quality by delivering a clear and unambiguous representation, but it will also help to address the (highly) recommended ISO 26262 objectives for semi-formal and formal notation and verification of safety requirements.

In this Webinar, we will show you how to: