SPIN 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.

Date: 08. - 09. July 2013
Location: Stony Brook, NY, USA
Website: http://spin2013.cs.sunysb.edu/