Model Checking Software

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

  • Bernd Fischer
  • Jaco Geldenhuys

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-23404-5
  • 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
  • About this book