EECI 2012: Computer Session: Spin: Difference between revisions

From Murray Wiki
Jump to navigationJump to search
Line 13: Line 13:


== Additional Materials ==
== Additional Materials ==
* <p>[http://spinroot.com/spin/whatispin.html SPIN web site] </p>
* [http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ LTL2BA] - a web page (and program) for converting LTL formulas to Buchi automata.
* [http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ LTL2BA] - a web page (and program) for converting LTL formulas to Buchi automata.

Revision as of 09:53, 14 May 2012

Prev: Model Checking Course home Next: Deductive Verification

Hands-on model checking exercises using SPIN.

Lecture Materials

Further Reading

Additional Materials