Tools for CS267 Homeworks

The following model checking tools are installed under the class account: You can run them by typing: /cs/class/cs267/bin/smv or /cs/class/cs267/bin/spin

The manpages, documentation and examples for these tools are available under: /cs/class/cs267/share/

You can get additional information about these tools by following the links above.