. What is Spin?
. Why we need model verification
. Promela and model description
. What’s new in Version 2.0 and 3.0
. Demonstration
Spin and Formal Verification