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:
- Intuitively derive a formal and machine-readable specification for your safety critical requirements
- Automatically analyze 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 ISO 26262 certification for BTC EmbeddedPlatform