- "Model Checking --- a Hands-on Introduction".
A. Cimatti, M. Pistore and M. Roveri.
This is a 6-8 hours course that provides a practical introduction
to symbolic model checking, and describes the basic features of
NuSMV.
[Postscript], [PDF]
LICENSE: these slides can be freely modified and re-used, with
the proviso that the acknowledgments on slide 2 are not
removed.
- "NuSMV and Symbolic Model Checking".
A. Cimatti, M. Pistore and M. Roveri.
This is a 6-8 hours course that provides a practical introduction
to symbolic model checking, and describes the basic features of
NuSMV.
[Postscript], [PDF]
LICENSE: these slides can be freely modified and re-used,
with the proviso that the acknowledgments on slide 2 are not removed.
- "Symbolic Model Checking - A Hands-On Introduction".
A. Cimatti and M. Pistore.
Slides of the ESSLLI'02 tutorial.
[Postscript], [PDF]
- "MCT'99: A Hands-on Tutorial on Model Checking".
A. Cimatti, M. Pistore and M. Roveri.
Slides of the Model
Checking Tutorial held during the The 1999 Federated Logic
Conference (FLoC'99).
[Postscript], [Gzipped Postscript]
|
NuSMV Home Page.