Modeling Software Systems Lecture 2 Book: Chapter 4.
Model Checking and Testing combined Doron Peled, University of Warwick.
Automatic Verification Book: Chapter 6. How can we check the model? The model is a graph. The specification should refer the the graph representation.
1 Formal Methods in SE Qaisar Javaid Assistant Professor Lecture # 11.
Abstractions. Outline Informal intuition Why do we need abstraction? What is an abstraction and what is not an abstraction A framework for abstractions.