devel/spin/pkg-descr

   1 Spin is an efficient on-the-fly verification system
   2 (a `model checker') for asynchronous concurrent systems,
   3 such as data communication protocols, distributed operating
   4 systems, database systems, etc.
   5 It can be used to prove both safety and liveness properties,
   6 including all correctness requirements expressible in linear
   7 time temporal logic.
   8 Spin uses a high level language to specify systems descriptions,
   9 called PROMELA (PROcess MEta LAnguage).
  10 WWW: http://spinroot.com