|
Program Chair: Bell Laboratories, Lucent Technologies Program Committee: (U. Mass. Amherst, USA) (Bell Labs, USA) (U. Dortmund, Germany) (UC Santa Cruz, USA) (Tampere U., Finland) (Bell Labs, USA; chair) (Verimag, France) (NASA JPL, USA) (UT Austin, USA) (U. Konstanz, Germany) (UCLA, USA) (Verimag, France) (Microsoft, USA) (U. Twente, the Netherlands) (NASA Ames, USA) (U. Liege, Belgium) Advisory Committee: (NASA JPL, USA; chair) (Weizmann Inst., Israel) Steering Committee: (Microsoft, USA) (Verimag, France) (U. Konstanz, Germany) (Rice U., USA) (U. Liege, Belgium; chair) |
SPIN 2005
12th International SPIN
Workshop on Model Checking of Software
August 22-24,
2005, San Francisco, USA
(Co-located
with CONCUR 2005) SPIN 2005 is a forum for practitioners and researchers
interested in model-checking based techniques for the validation and analysis
of communication protocols and software systems. The workshop will focus on
topics including theoretical and algorithmic foundations and tools for
software model checking, model derivation from code and code derivation from
models, techniques for dealing with large and infinite state spaces, and
applications. The workshop aims to foster interactions and exchanges of ideas
with all related areas in software engineering.
Important Dates
|
