Published on September 19, 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 EmbeddedPlatform can help you to perform formal specification of safety requirements and formal verification in an ISO 26262-compliant way.

Imagine if your computer could understand your requirements. “Explaining” your safety critical requirements to your computer with will not only improve their quality by delivering a clear and unambiguous representation, but it will also help to address the ISO 26262 objectives for semi-formal and formal notation of safety requirements. Thanks to their machine-readable nature, formal requirements additionally provide amazing possibilities for the verification process

In this free Webinar, we will show you how to: