EECI 2012: Computer Session: Spin

From MurrayWiki
Jump to: navigation, search
Prev: Model Checking Course home Next: Deductive Verification

Hands-on model checking exercises using SPIN.

Lecture Materials

Further Reading

Additional Materials

  • SPIN web site

  • LTL2BA - a web page (and program) for converting LTL formulas to Buchi automata.