Bošnacki / Bosnacki / Wijs | Model Checking Software | E-Book | sack.de
E-Book

E-Book, Englisch, 245 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

Bošnacki / Bosnacki / Wijs Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
1. Auflage 2016
ISBN: 978-3-319-32582-8
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

E-Book, Englisch, 245 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

ISBN: 978-3-319-32582-8
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
Bošnacki / Bosnacki / Wijs Model Checking Software jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Bošnacki, Dragan
Bosnacki, Dragan
Wijs, Anton

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.