Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

  • Bernd Fischer
  • Jaco Geldenhuys
Conference proceedings

DOI: 10.1007/978-3-319-23404-5

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

Table of contents (19 papers)

  1. Front Matter
    Pages I-XVIII
  2. Invited Contribution

    1. Front Matter
      Pages 1-1
  3. Abstraction, Refinement, Translation

    1. Front Matter
      Pages 11-11
    2. Refinement Selection
      Dirk Beyer, Stefan Löwe, Philipp Wendler
      Pages 20-38
  4. Büchi Automata and Hashing

    1. Front Matter
      Pages 47-47
    2. Fast, Dynamically-Sized Concurrent Hash Table
      J. Barnat, P. Ročkai, V. Štill, J. Weiser
      Pages 49-65
    3. On Refinement of Büchi Automata for Explicit Model Checking
      František Blahoudek, Alexandre Duret-Lutz, Vojtěch Rujbr, Jan Strejček
      Pages 66-83
    4. Practical Stutter-Invariance Checks for \(\omega \)-Regular Languages
      Thibaud Michaud, Alexandre Duret-Lutz
      Pages 84-101
  5. Embedded Systems

    1. Front Matter
      Pages 103-103
    2. DSVerifier: A Bounded Model Checking Tool for Digital Systems
      Hussama I. Ismail, Iury V. Bessa, Lucas C. Cordeiro, Eddie B. de Lima Filho, João E. Chaves Filho
      Pages 126-131
    3. Runtime Verification of Expected Energy Consumption in Smartphones
      Ana Rosario Espada, María del Mar Gallardo, Alberto Salmerón, Pedro Merino
      Pages 132-149
  6. Heuristics and Benchmarks

    1. Front Matter
      Pages 151-151
    2. Directed Model Checking for PROMELA with Relaxation-Based Distance Functions
      Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal
      Pages 153-159
    3. Benchmarking and Resource Measurement
      Dirk Beyer, Stefan Löwe, Philipp Wendler
      Pages 160-178
  7. SAT/SMT-Based Approaches

    1. Front Matter
      Pages 201-201

About these proceedings


This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.


SAT solving benchmark generation cloud computing statistical model checking theorem proving

Editors and affiliations

  • Bernd Fischer
    • 1
  • Jaco Geldenhuys
    • 2
  1. 1.Stellenbosch UniversityMatielandSouth Africa
  2. 2.Stellenbosch UniversityMatielandSouth Africa

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-23403-8
  • Online ISBN 978-3-319-23404-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349