• Anca Browne, Henny Sipma and Ting Zhang.

    • Linking STeP with SPIN.
    In SPIN Model Checking and Software Verification, 7th International SPIN Workshop. August, 2000, Vol.1885 of LNCS, Springer Verlag, Pages 181-186.
     
  • Abstract:  We have connected $\STeP$, the Stanford Temporal Prover, with SPIN, an LTL model checker.  In this paper we describe the translation of fair transition systems into Promela, in particular how weak and strong fairness constraints are handled. The paper presents some preliminary experimental results using this connection.

    •  
  • Postscript (128 K)
    • @InProceedings{Browne+Sipma+Zhang/00/Linking,
  author =   "Anca Browne and Henny Sipma and Ting Zhang",
  title =    {Linking STeP with SPIN},
  booktitle =    {SPIN Model Checking and Software Verification,
                  $7^{th}$ International SPIN Workshop},
  year =     2000,
  editor =   {Klaus Havelund and John Penix and Willem Visser},
  series =   {LNCS},
  volume =       1885,
  pages =        "181--186",
  month =        "August",
  publisher =    {Springer Verlag}
}