SPIN 2014: International SPIN Symposium on Model Checking of Software

Event dates: July 21 -- July 23, 2014

Venue: Hilton San Jose, Bay Area, California

Highlights:

Program Chairs:

Important Dates:

  • Paper Submission: April 22, 2014
  • Author Notification: May 30, 2014
  • Camera-Ready Paper: June 16, 2014