Linking STeP with SPIN

Anca Browne, Henny Sipma, Ting Zhang

In this short paper we describe the interface between STeP and the model checker SPIN. We describe the translation from fair transition systems into Promela, in particular the representation of fairness constraints, and we give some preliminary experimental results.

In 7th International SPIN Workshop: SPIN Model Checking and Software Verification, LNCS 1885, Springer-Verlag, pp 181-186, 2000.

Postscript, PDF. © 2000, Springer Verlag.


© Henny Sipma / sipma@cs.stanford.edu
Last modified: Thu Jul 12 14:40:50 PDT 2001