![]() |
![]() |
|
Model-Checking SS 2011 | ||
![]() |
![]() |
News | Basic information | Content | Exercises | Slides | Links |
The following tools are used in the lecture and in the exercises.
-
Spin (Bell Labs)
-- Shell script to facilitate the LTL's handling
- SMV (CMU)