SPIN98 Workshop - Online Proceedings

SPIN98 - Papers from the 4th International SPIN Workshop

The SPIN98 workshop was held on Monday November 2, 1998, the day before IFIP FORTE/PSTV98, at ENST in Paris, France. 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: Verification by Finitary Abstraction
  • Modeling and validation of Java multi-threading applications using Spin.
    C., R. Iosif, R. Sisto, [email protected], Politecnico di Torino, Italy.
    Postscript: p23.pdf (15 pgs.)
  • Verifying Business Processes using Spin.
    Wil Janssen, Radu Mateescu, Sjouke Mauw, and Jan Springintveld, [email protected], Eindhoven Univ. of Technology, The Netherlands.
    Postscript: sjouke.pdf (16 pgs.)
  • CTL* Model Checking for Spin.
    Willem Visser and Howard Barringer, [email protected], Manchester University, UK.
    Postscript: p6.pdf (20 pgs.)
  • Profiting from Spin in PEP.
    Bernd Grahlmann and Carola Pohl, [email protected], Univ. of Oldenburg, SerCon Mainz, Germany.
    Postscript: p7.pdf (19 pgs.)
  • Slicing Promela and its Applications to Protocol Understanding and Analysis.
    Lynette Millett and Tim Teitelbaum, [email protected], Cornell Univ., USA.
    Postscript: millet.pdf (9 pgs.)
  • Validation of Remote Object Invocation and Object Migration in CORBA GIOP using Promela/Spin.
    Moataz Kamel and Stefan Leue, [email protected], Univ. of Waterloo, Canada.
    Postscript: m2kamel.pdf (11 pgs.)
  • A Feature Construct for Promela.
    Malte Plath & Mark Ryan, [email protected], Univ. of Birmingham, UK.
    Postscript: plath.pdf (20 pgs.)
  • On the fly Conformance testing using Spin.
    Rene G. de Vries and Jan Tretmans, [email protected], Univ. of Twente, The Netherlands.
    Postscript: rdevries.pdf (13 pgs.)
  • Automatic Invariant Deduction in Spin.
    Mandana Vaziri, [email protected], MIT, USA.
    Postscript: p18.pdf (9 pgs.)
  • Difference compression in Spin.
    Benoit Parreaux, [email protected], Univ. de Frache-Comte, Besancon, France.
    Postscript: parreaux.pdf (7 pgs.)
  • Formal Analysis of a Space Craft Controller using Spin.
    K. Havelund, M. Lowry, J. Penix, [email protected]tolemy.arc.nasa.gov, NASA Ames Research Center, USA.
    Postscript: p22.pdf (21 pgs.)
  • Analysing a basic call protocol using Promela/Xspin.
    Muffy Calder and Alice Miller, [email protected], Univ. of Glasgow, UK.
    Postscript: muffy.pdf (13 pgs.)
  • Production Cell Revisited.
    Bernd Biechele, Marsha Chechik, and Dimitrie Paun, [email protected], Univ. of Toronto, Canada.
    Postscript: chechik.pdf (19 pgs.)
  • Formal Verification and Simulation of the NetBill Protocol Using Spin.
    Jose Garcia Fanjul, [email protected], Oviedo University, Spain.
    Postscript: fanjul.pdf (16 pgs.)

    Workshop Organization

       Elie Najm: [email protected]
       Ahmed Serhrouchni: [email protected]
       Gerard Holzmann: [email protected]	
    

    Online Proceedings for Previous Spin Workshops

    Spin homepage: spinroot.com/spin/