Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings - Softcover

Inhaltsangabe

Automated Analysis of Asynchronously Communicating Systems.- Symbolic Game Semantics for Model Checking Program Families.- Compositional Semantics and Analysis of Hierarchical Block Diagrams.- Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing.- River Basin Management with SPIN.- ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications.- Autonomous Agent Behaviour Modelled in PRISM.- Certication for -Calculus with Winning Strategies.- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization.- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems.- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.- smid: A Black-Box Program Driver.- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators.- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration.- A Tool Integrating Model Checking into a C Verification Toolset.- Fair Testing and Stubborn Sets.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.