In this webinar we discuss and demonstrate the use of formal verification and model checking as a method to increase the reliability and correctness of event driven systems. The webinar shows how basic soundness properties like state reachability and the absence of dead-lock states can be proved and how detected issues can be used to guide testing and re-design. It also shows how such basic soundness properties can be harnessed to look for application specific problem scenarios by constructing and adding specific non-intrusive property monitor state machines to the design.
Basic knowledge of state machines is assumed for participation in this webinar.
Presenter
- Anders Holmberg, Product Manager, IAR Systems
Duration: 1 hour
Choose the full screen option to see the webinar in larger size.