Patrick Trentin

PhD Student, University of Trento
Home Publications Teaching

Laboratory of Formal Methods (2015/2016)

The material is made available after each lesson.

Disclaimer: last year's slides will be subject to some changes, thus refer to the updated content.

All packages can be opened with the command
~$ tar -xvf package_name.tar.gz

Part I - spin

The spin model checker can be downloaded from this link.
Its documentation is provided here.

Part II - nuXmv

The nuXmv model checker can be downloaded from this link.
Its documentation is provided here.

Part III - Wrapping Up

Lecture Schedule:
Every Friday,
9.30-11.00 AM
PC Room A201

Office Hours:
On appointment

Course Evaluation:
Written exam

Communications:
-