Skip to main content
  • Conference proceedings
  • © 2021

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

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

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

Conference series link(s): SPIN: International Symposium on Model Checking Software

Conference proceedings info: SPIN 2021.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-84629-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 74.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (10 papers)

  1. Front Matter

    Pages i-x
  2. Invited Talks

    1. Front Matter

      Pages 1-1
    2. The Marriage Between Safety and Cybersecurity: Still Practicing

      • Marielle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn
      Pages 3-21
    3. A Hands-On Introduction to Spatial Model Checking Using VoxLogicA

      • Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink
      Pages 22-41
  3. Model Checking

    1. Front Matter

      Pages 43-43
    2. Accelerating the Computation of Dead and Concurrent Places Using Reductions

      • Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
      Pages 45-62
    3. Spotlight Abstraction in Model Checking Real-Time Task Schedulability

      • Madoda Nxumalo, Nils Timm, Stefan Gruner
      Pages 63-80
    4. Verifying Pipeline Implementations in OpenMP

      • Maik Wiesner, Marie-Christine Jakobs
      Pages 81-98
  4. Tool Papers

    1. Front Matter

      Pages 99-99
    2. C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs

      • Antoine Chenoy, Fabien Duchene, Thomas Given-Wilson, Axel Legay
      Pages 101-119
    3. PatEC: Pattern-Based Equivalence Checking

      • Marie-Christine Jakobs
      Pages 120-139
    4. Go2Pins: A Framework for the LTL Verification of Go Programs

      • Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
      Pages 140-156
    5. Probabilistic Model Checking of Randomized Java Code

      • Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, Franck van Breugel
      Pages 157-174
  5. Case Studies

    1. Front Matter

      Pages 175-175
    2. A Model-Checked I2C Specification

      • Lukas Humbel, Daniel Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer et al.
      Pages 177-193
  6. Back Matter

    Pages 195-195

Other Volumes

  1. Model Checking Software

    27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

About this book

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.

The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

Keywords

  • architecture verification and validation
  • artificial intelligence
  • computer hardware
  • computer programming
  • computer systems
  • distributed computer systems
  • embedded systems
  • formal logic
  • formal methods
  • graph theory
  • model checking
  • object-oriented programming
  • parallel processing systems
  • software architecture
  • software design
  • software engineering
  • software quality
  • theoretical computer science
  • verification and validation

Editors and Affiliations

  • Leiden University, Leiden, The Netherlands

    Alfons Laarman

  • University of Salzburg, Salzburg, Austria

    Ana Sokolova

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-84629-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 74.99
Price excludes VAT (USA)