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.