Model Checking Software

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

  • Dragan Bošnački
  • Anton Wijs
Conference proceedings SPIN 2016

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9641)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Lakhdar Akroun, Gwen Salaün, Lina Ye
    Pages 1-18
  3. Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
    Pages 38-56
  4. María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
    Pages 78-96
  5. Mário Garcia, Felipe Monteiro, Lucas Cordeiro, Eddie de Lima Filho
    Pages 97-103
  6. Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor Veres
    Pages 104-110
  7. Martin Hofmann, Christian Neukirchen, Harald Rueß
    Pages 111-128
  8. Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
    Pages 129-146
  9. Nishanthan Kamaleson, David Parker, Jonathan E. Rowe
    Pages 147-164
  10. Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul Agha
    Pages 165-181
  11. Kareem Khazem, Michael Tautschnig
    Pages 182-188
  12. Radu Mateescu, José Ignacio Requeno
    Pages 189-207
  13. Jan Mrázek, Petr Bauch, Henrich Lauko, Jiří Barnat
    Pages 208-213
  14. Subash Shankar, Gilbert Pajela
    Pages 214-224
  15. Antti Valmari, Walter Vogler
    Pages 225-243
  16. Back Matter
    Pages 245-245

About these proceedings


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.


Action-based probabilistic logic Formal methods On-the-fly model checking Program verification Symbolic representation Algorithmic game semantics Certified model checking Concurrent systems Fair testing equivalence Heuristics Model checking algorithms Partial-order methods Predicate abstraction Program families Refinement Schedulability analysis Sensor network Software engineering Static analysis

Editors and affiliations

  • Dragan Bošnački
    • 1
  • Anton Wijs
    • 2
  1. 1.Eindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.BestThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-32581-1
  • Online ISBN 978-3-319-32582-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment