Sample Spin Model Checking Projects

Sample Spin Model Checking Projects


Here are some suggested projects to extend the Spin model checker.
If you have additional suggestions to be added to the list, if you're going
to pursue one of these topic, or know of something already having been done,
please let us know.

The topics are divided into three categories: relatively straightforward problems,
problems that require more in-depth knowledge, and more advanced
research problems.


Last updated: November 18, 2010.


return to the spin homepage