Model Checking Software

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

  • Bernd Fischer
  • Jaco Geldenhuys
Conference proceedings SPIN 2015

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

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

Table of contents

  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. Dirk Beyer, Stefan Löwe, Philipp Wendler
      Pages 20-38
  4. Büchi Automata and Hashing

    1. Front Matter
      Pages 47-47
    2. J. Barnat, P. Ročkai, V. Štill, J. Weiser
      Pages 49-65
    3. František Blahoudek, Alexandre Duret-Lutz, Vojtěch Rujbr, Jan Strejček
      Pages 66-83
    4. Thibaud Michaud, Alexandre Duret-Lutz
      Pages 84-101
  5. Embedded Systems

    1. Front Matter
      Pages 103-103
    2. Hussama I. Ismail, Iury V. Bessa, Lucas C. Cordeiro, Eddie B. de Lima Filho, João E. Chaves Filho
      Pages 126-131
    3. 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. Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal
      Pages 153-159
    3. Dirk Beyer, Stefan Löwe, Philipp Wendler
      Pages 160-178
  7. SAT/SMT-Based Approaches

    1. Front Matter
      Pages 201-201
    2. Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue
      Pages 203-221
    3. Antonio Filieri, Marcelo F. Frias, Corina S. Păsăreanu, Willem Visser
      Pages 222-241
    4. Nils Timm, Stefan Gruner, Prince Sibanda
      Pages 242-259
  8. Software Validation and Verification

    1. Front Matter
      Pages 261-261
    2. Fabrizio Biondi, Axel Legay, Jean Quilbeuf
      Pages 263-281
    3. Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wąsowski
      Pages 282-299
    4. Maria Christakis, Patrice Godefroid
      Pages 300-318
  9. Back Matter
    Pages 319-319

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

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-23403-8
  • Online ISBN 978-3-319-23404-5
  • 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