Formal Verification

What if your PC could understand your requirements? Expressing safety requirements in a machine-readable language can not only improve their quality by removing the ambiguities we often find in natural language. It also opens up amazing possibilities for a highly automated verification process all along the V-Cycle. And: Semi-formal and formal methods are also recommended by the ISO 26262 standard. In this video we will show you how formalized requirements can dramatically improve the efficiency and completeness of software unit verification for Simulink, TargetLink, EmbeddedCoder or handwritten C-Code. This addresses mainly three use cases: -Formal Test -Requirements-based Test Generation -Formal Verification using Model Checking Technology Please also have a look at our other videos. If you have any question or if you are interested in a trial license, please don't hesitate to contact us. For more information please visit https://www.btc-embedded.com