19th International SPIN Workshop on Model Checking of Software, Oxford, UK

Abbrevation

SPIN

Link

http://qav.cs.ox.ac.uk/spin2012/

City

Oxford

Country

Deadline Paper

2012-03-26

Start Date

2012-07-23

End Date

2012-07-24

Abstract

The 19th International SPIN Workshop on Model Checking of Software (SPIN 2012) will be held in Oxford from 23–24 July 2012. SPIN 2012 is the latest in a successful <a href="http://spinroot.com/spin/Workshops/">series</a> of workshops 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 2012 will be published in Springer–Verlag′s <a href="http://www.springer.com/lncs/">Lecture Notes in Computer Science</a> series.