×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [l1 init slide]
Home >
l1 init slide
Automatic Verification Book: Chapter 6. How can we check the model? The model is a graph. The specification should refer the the graph representation.
215 views
Abstractions. Outline Informal intuition Why do we need abstraction? What is an abstraction and what is not an abstraction A framework for abstractions.
215 views