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

Brossura

ISBN 10: 3319325833 ISBN 13: 9783319325835

Casa editrice: Springer, 2016

Riassunto

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.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2016
• Lingua: Inglese
• ISBN 10: 3319325833
• ISBN 13: 9783319325835
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile