Skip to main content
SpringerLink
Log in
Book cover

Model Checking Software

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Dragan Bošnački

    1. Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anton Wijs

    1. Best, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9641)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SPIN 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Automated Analysis of Asynchronously Communicating Systems

    • Lakhdar Akroun, Gwen Salaün, Lina Ye
    Pages 1-18

  3. Symbolic Game Semantics for Model Checking Program Families

    • Aleksandar S. Dimovski
    Pages 19-37

  4. Compositional Semantics and Analysis of Hierarchical Block Diagrams

    • Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
    Pages 38-56

  5. Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing

    • Stefan Edelkamp, Christoph Greulich
    Pages 57-77

  6. River Basin Management with Spin

    • María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
    Pages 78-96

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

    • Mário Garcia, Felipe Monteiro, Lucas Cordeiro, Eddie de Lima Filho
    Pages 97-103

  8. Autonomous Agent Behaviour Modelled in PRISM – A Case Study

    • Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor Veres
    Pages 104-110Open Access

  9. Certification for \(\mu \)-Calculus with Winning Strategies

    • Martin Hofmann, Christian Neukirchen, Harald Rueß
    Pages 111-128

  10. Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

    • Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
    Pages 129-146

  11. Finite-Horizon Bisimulation Minimisation for Probabilistic Systems

    • Nishanthan Kamaleson, David Parker, Jonathan E. Rowe
    Pages 147-164

  12. Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking

    • Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul Agha
    Pages 165-181

  13. smid: A Black-Box Program Driver

    • Kareem Khazem, Michael Tautschnig
    Pages 182-188

  14. On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators

    • Radu Mateescu, José Ignacio Requeno
    Pages 189-207

  15. SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration

    • Jan Mrázek, Petr Bauch, Henrich Lauko, Jiří Barnat
    Pages 208-213

  16. A Tool Integrating Model Checking into a C Verification Toolset

    • Subash Shankar, Gilbert Pajela
    Pages 214-224

  17. Fair Testing and Stubborn Sets

    • Antti Valmari, Walter Vogler
    Pages 225-243

  18. Back Matter

    Pages 245-245
    Download chapter PDF
Back to top

Other volumes

  1. Model Checking Software

Keywords

About this book

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.

Editors and Affiliations

  • Eindhoven University of Technology, Eindhoven, The Netherlands

    Dragan Bošnački

  • Best, The Netherlands

    Anton Wijs

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation