[Concurrency] SPIN 2009 Call for Papers
Call for Papers
16th International SPIN Workshop on Model Checking of Software
June 26–28, 2009, Grenoble, France
Co-located with CAV 2009
URL: http://ti.arc.nasa.gov/event/spin09/
Aim and Scope
The SPIN workshop is a forum for practitioners and researchers interested
in state space-based techniques for the validation and analysis of software
systems. The focus of the workshop is on theoretical advances and empirical
evaluations […]