Abstract is missing.
- Automated Analysis of Asynchronously Communicating SystemsLakhdar Akroun, Gwen Salaün, Lina Ye. 1-18 [doi]
- Symbolic Game Semantics for Model Checking Program FamiliesAleksandar S. Dimovski. 19-37 [doi]
- Compositional Semantics and Analysis of Hierarchical Block DiagramsIulia Dragomir, Viorel Preoteasa, Stavros Tripakis. 38-56 [doi]
- Using SPIN for the Optimized Scheduling of Discrete Event Systems in ManufacturingStefan Edelkamp, Christoph Greulich. 57-77 [doi]
- River Basin Management with SpinMaría-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Alberto Salmerón. 78-96 [doi]
- QtOM: A Bounded Model Checking Tool to Verify Qt ApplicationsMário Garcia, Felipe Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho. 97-103 [doi]
- Autonomous Agent Behaviour Modelled in PRISM - A Case StudyRuth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor M. Veres. 104-110 [doi]
- Certification for μ-Calculus with Winning StrategiesMartin Hofmann 0001, Christian Neukirchen, Harald Rueß. 111-128 [doi]
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via DiscretizationPeter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba. 129-146 [doi]
- Finite-Horizon Bisimulation Minimisation for Probabilistic SystemsNishanthan Kamaleson, David Parker 0001, Jonathan E. Rowe. 147-164 [doi]
- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model CheckingEhsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha. 165-181 [doi]
- smid: A Black-Box Program DriverKareem Khazem, Michael Tautschnig. 182-188 [doi]
- On-the-Fly Model Checking for Extended Action-Based Probabilistic OperatorsRadu Mateescu, José Ignacio Requeno. 189-207 [doi]
- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space ExplorationJan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat. 208-213 [doi]
- A Tool Integrating Model Checking into a C Verification ToolsetSubash Shankar, Gilbert Pajela. 214-224 [doi]
- Fair Testing and Stubborn SetsAntti Valmari, Walter Vogler. 225-243 [doi]