SPIN 2002
9th International SPIN Workshop on
Model Checking of Software
April 11-13, 2002, Grenoble, France
A satellite workshop of ETAPS 2002
In cooperation with ACM SIGPLAN and
ACM SIGSOFT
[Call for Papers] [SPIN Charter][History of SPIN Workshops] [Final Programme] [SPIN Home Page]
[Registration via ETAPS Web Site]
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.
Invited
Speakers: Ed Clarke, Patrick Cousot (joint invited
speaker with ETAPS 2002)
Final Programme
available here!
For
inquiries please send email to spin2002@informatik.uni-freiburg.de
Programme
Committee Chair: Stefan Leue (Freiburg, D)
Organization Chair: Dragan
Bosnacki (Eindhoven, NL)
[Stefan Leue] May 28,
2002