Powered by
2014 International SPIN Symposium on Model Checking of Software (SPIN),
July 21–23, 2014,
San Jose, CA, USA
Frontmatter
Concurrent, Synchronous, and Asynchronous Systems
Mon, Jul 21, 10:30 - 11:50, Santa Clara Room (Chair: Willem Visser)
Model Checking I
Mon, Jul 21, 13:30 - 15:10, Santa Clara Room (Chair: Sarfraz Khurshid)
Parallel and Higher-Order Verification
Mon, Jul 21, 15:40 - 17:00, Santa Clara Room (Chair: Sagar Chaki)
Model Checking II
Tue, Jul 22, 10:30 - 11:50, Santa Clara Room (Chair: Stefan Leue)
Testing and Security
Tue, Jul 22, 13:30 - 15:00, Santa Clara Room (Chair: Nastaran Shafiei)
Constraint-Based Analysis
Tue, Jul 22, 15:30 - 16:40, Santa Clara Room (Chair: Franjo Ivancic)
proc time: 0.75