Home
Teaching
Publications
Curriculum
Vincent Penelle
Weryfikacja wspomagana komputerowo
Here is the webpage of the laboratory sessions. You can find the course material on
the webpage of Daria Walukiewicz
.
First session: Introduction to Spin and Promela.
Web version.
Pdf version.
Download all the programs at once.
Second session: Mutual exclusion problem and LTL.
Web version.
Pdf version.
Download all the programs at once.
Third session: LTL and never claim.
Web version.
Pdf version.
Download the only program.
Fourth session: Leader election and memory usage.
Web version.
Pdf version.
Download all the programs at once.
Fifth session: Goats, wolves, and more leaders.
Web version.
Pdf version.
Download the only program.
Project Spin.
Web version.
Pdf version.
Sixth session: Hello nuXmv.
Web version.
Pdf version.
Download all the programs at once.
Seventh session: nuXmv and CTL.
Web version.
Pdf version.
Download all the programs at once.