Chapter 1 Automated Analysis of Asynchronously Communicating Systems

Chapter 2 Symbolic Game Semantics for Model Checking Program Families

Chapter 3 Compositional Semantics and Analysis of Hierarchical Block Diagrams

Chapter 4 Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing

Chapter 5 River Basin Management with Spin

Chapter 6 ESBMC \(^{QtOM}\) : A Bounded Model Checking Tool to Verify Qt Applications

Chapter 7 Autonomous Agent Behaviour Modelled in PRISM – A Case Study

Chapter 8 Certification for \(\mu \) -Calculus with Winning Strategies

Chapter 9 Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

Chapter 10 Finite-Horizon Bisimulation Minimisation for Probabilistic Systems

Chapter 11 Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking

Chapter 12 smid: A Black-Box Program Driver

Chapter 13 On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators

Chapter 14 SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration

Chapter 15 A Tool Integrating Model Checking into a C Verification Toolset

Chapter 16 Fair Testing and Stubborn Sets