Slide 1Modeling Software Systems Lecture 2 Book: Chapter 4 Slide 2 Systems of interest Sequential systems. Concurrent systems. 1. Distributive systems. 2. Reactive systems.…
Slide 1Model Checking and Testing combined Doron Peled, University of Warwick Slide 2 Why model checking ? Want to verify hardware and code. Want to perform verification…