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] [SPIN 2002 Proceedings at Springer Verlag] [SPIN 2003]


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