SPIN99 Workshop V - Online Proceedings

SPIN99 - Papers from the 5th International SPIN Workshop

The 5th SPIN workshop was held on Monday July 5, 1998, at the start of the Federated Logic 1999 Conference in Trento, Italy. Below is the list of papers presented at the workshop, in order of presentation, with links to the postscript for online versions where available.

  • Keynote: Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving.
  • Runtime efficient state compaction in Spin.
    J. Geldenhuys and P.J.A. de Villiers, {jaco,pja}@cs.sun.ac.za,
    Dept. of Computer Science, Univ. of Stellenbosch, South Africa.
    Postscript: compaction.pdf (12 pgs.)
  • Distributed-Memory model checking with Spin.
    F. Lerda, and R. Sisto, flerda@athena.polito.it, sisto@polito.it,
    Politecnico di Torino, Italy.
    Postscript: distributed.pdf (15 pgs.)
  • Partial order reduction in presence of rendez-vous communications with unless constructs and weak fairness.
    D. Bosnacki, dragan@win.tue.nl,
    Eindhoven University, The Netherlands.
    Postscript: dragan.pdf (17 pgs.)
  • Adding active objects to Spin.
    W. Visser, K. Havelund, and J. Penix, wvisser@ptolemy.arc.nasa.gov,
    RIACS, Recom, NASA Ames, USA,
    Postscript: visser.pdf (11 pgs.)
  • Model checking of Manifold applications with the Spin model checker.
    A. Fagot, and A. Scutella, {adriano, fagot}@cwi.nl,
    CWI, Amsterdam, The Netherlands,
    Postscript: manifold.pdf (20 pgs.)
  • Divide, abstract, and model-check.
    K. Stahl, K. Baukus, Y. Lakhnech, M. Steffen, {kst,kba,ms}@informatik.uni-kiel.de
    Univ. of Kiel, Germany,
    Postscript: divide.pdf (20 pgs.)

    Workshop Organization

       Dennis Dams
       Mieke Massink (CNR-Ist. CNUCE, Pisa)
       Ed Brinksma (Univ. of Twente)
       Marco Daniele (ITC-IRST, Trento)
       Bengt Jonsson (Uppsala University)
       Gerard Holzmann (Bell Labs)

    Online Proceedings for Previous Spin Workshops