How to Model and Formally Verify Safety Requirements

Some requirements are nearly impossible to completely verify using simulation-based testing, such as safety requirements that define when a given condition should NOT occur.

Learn how to use a Requirements Table from Requirements Toolbox™ to model a set of formal safety requirements, Simulink Design Verifier™ to prove that the requirements will always be met, and Model Slicer from Simulink Check™ to debug a counterexample.