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:

• Intuitively derive a formal and machine readable specification for your safety critical requirements
• Automatically analyse the requirements coverage for existing tests
• Generate additional test cases from formalized requirements
• Mathematically prove, that a particular safety requirement can never be violated by your software
• Benefit from the BTC EmbeddedTester ISO 26262 certificate