SPIN 2016 accepted papers
- Antti Valmari and Walter Vogler. Fair Testing and Stubborn Sets
- Peter Gjøl Jensen, Kim Guldstrand Larsen and Jiri Srba. Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
- Nishanthan Kamaleson, David Parker and Jonathan Rowe. Finite-Horizon Bisimulation Minimisation for Probabilistic Systems
- Stefan Edelkamp and Christoph Greulich. Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing
- Maria Del Mar Gallardo, Pedro Merino, Laura Panizo and Alberto Salmerón. River basin management with SPIN
- Aleksandar S. Dimovski. Symbolic Game Semantics for Model Checking Program Families
- Kareem Khazem and Michael Tautschnig. smid: A Black-Box Program Driver
- Iulia Dragomir, Viorel Preoteasa and Stavros Tripakis. Compositional Semantics and Analysis of Hierarchical Block Diagrams
- Lakhdar Akroun, Gwen Salaün and Lina Ye. Automated Analysis of Asynchronously Communicating Systems
- Martin Hofmann, Christian Neukirchen and Harald Ruess. Certification for µ-calculus with winning strategies
- Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman and Sandor Veres. Autonomous Agent Behaviour Modelled in PRISM -- A Case Study
- Radu Mateescu and Jose Ignacio Requeno. On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
- Subash Shankar and Gilbert Pajela. A Tool Integrating Model Checking Into a C Verification Toolset
- Mário Angel Garcia, Felipe Rodrigues Monteiro Sousa, Lucas Carvalho Cordeiro and Eddie de Lima Filho. ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications
- Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani and Gul Agha. Schedulability Analysis of Distributed Real-Time Sensor Network Applications using Actor-based Model Checking
- Jan Mrázek, Petr Bauch, Henrich Lauko and Jiri Barnat. SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration