Introduction
The International SPIN Symposium on Model Checking of Software (SPIN 2013) will be held on the campus of Stony Brook University in Stony Brook, NY, USA, from 8-9 July 2013. SPIN 2013 is the latest in a successful series of meetings for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. As in previous years, the proceedings of SPIN 2013 will be published in Springer-Verlag's Lecture Notes in Computer Science series.
Call for paper
Submission Topics
Topics of interest include, but are not limited to:
Formal verification techniques for automated analysis of software
Algorithms and storage methods for explicit-state model checking
Theoretical and algorithmic foundations of model checking
Model checking
All Comments
Important Date
-
Conference Date
Jul 08
2013
toJul 09
2013
-
Jul 09 2013
Registration deadline
Sponsored By
美国计算机学会
Contact Information
- Scott A. Smolka
- +1 *********
Submit Comment