Skip to main content
SpringerLink
Log in
Book cover

Model Checking Software

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Bernd Fischer

    1. Stellenbosch University, Matieland, South Africa

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jaco Geldenhuys

    1. Stellenbosch University, Matieland, South Africa

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Includes supplementary material: sn.pub/extras

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

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

Included in the following conference series:

Conference proceedings info: SPIN 2015.

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 (19 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Invited Contribution

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. String Analysis for Vulnerability Detection and Repair

      • Tevfik Bultan
      Pages 3-9

  3. Abstraction, Refinement, Translation

    1. Front Matter

      Pages 11-11
      Download chapter PDF

    2. ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems

      • Peter Backes, Jan Reineke
      Pages 13-19

    3. Refinement Selection

      • Dirk Beyer, Stefan Löwe, Philipp Wendler
      Pages 20-38

    4. From Helena Ensemble Specifications to Promela Verification Models

      • Annabelle Klarl
      Pages 39-45

  4. Büchi Automata and Hashing

    1. Front Matter

      Pages 47-47
      Download chapter PDF

    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
      Download chapter PDF

    2. MESS: Memory Performance Debugging on Embedded Multi-core Systems

      • Sudipta Chattopadhyay
      Pages 105-125

    3. 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

    4. 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
      Download chapter PDF

    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

    4. PickLock: A Deadlock Prediction Approach under Nested Locking

      • Francesco Sorrentino
      Pages 179-199

  7. SAT/SMT-Based Approaches

    1. Front Matter

      Pages 201-201
      Download chapter PDF
Back to top

Other volumes

  1. Model Checking Software

Keywords

About this book

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.

Editors and Affiliations

  • Stellenbosch University, Matieland, South Africa

    Bernd Fischer, Jaco Geldenhuys

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation