The SPIN workshop brings together practitioners and researchers interested in model checking of software artifacts. Explicit state model checking, as implemented in the SPIN model checker, is the focus of this workshop. It has proven to be particularly suitable to analyze concurrent asynchronous systems. The workshop will focus on topics including theoretical and algorithmic foundations, model derivation from code, techniques for dealing with large and infinite state spaces, and unconventional application areas of model checking. The workshop aims to encourage interactions and exchanges of ideas with all related areas in software engineering.
Final Programme available here!
For inquiries please send email to email@example.com
Programme Committee Chair: Stefan Leue (Freiburg, D)
Organization Chair: Dragan Bosnacki (Eindhoven, NL)
[Stefan Leue] May 28, 2002