Skip to main content
Springer Nature Link
Log in

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. María del Mar Gallardo

    1. University of Málaga, Málaga, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pedro Merino

    1. University of Málaga, Málaga, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: SPIN 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.

The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 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. 

Similar content being viewed by others

Keywords

Table of contents (19 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Tutorial and Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Software Model Checking for Mobile Security – Collusion Detection in \(\mathbb {K}\)

      • Irina Măriuca Asăvoae, Hoang Nga Nguyen, Markus Roggenbach
      Pages 3-25

    3. Efficient Runtime Verification of First-Order Temporal Properties

      • Klaus Havelund, Doron Peled
      Pages 26-47

    4. Program Verification with Separation Logic

      • Radu Iosif
      Pages 48-62

  3. Regular Papers

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. Petri Net Reductions for Counting Markings

      • Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
      Pages 65-84

    3. Improving Generalization in Software IC3

      • Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
      Pages 85-102

    4. Star-Topology Decoupling in SPIN

      • Daniel Gnad, Patrick Dubbert, Alberto Lluch Lafuente, Jörg Hoffmann
      Pages 103-114

    5. Joint Forces for Memory Safety Checking

      • Marek Chalupa, Jan Strejček, Martina Vitovská
      Pages 115-132

    6. Model-Checking HyperLTL for Pushdown Systems

      • Adrien Pommellet, Tayssir Touili
      Pages 133-152

    7. A Branching Time Variant of CaRet

      • Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff
      Pages 153-170

    8. Control Strategies for Off-Line Testing of Timed Systems

      • Léo Henry, Thierry Jéron, Nicolas Markey
      Pages 171-189

    9. An Extension of TRIANGLE Testbed with Model-Based Testing

      • Laura Panizo, Almudena Díaz, Bruno García
      Pages 190-195

    10. Local Data Race Freedom with Non-multi-copy Atomicity

      • Tatsuya Abe
      Pages 196-215

    11. A Comparative Study of Decision Diagrams for Real-Time Model Checking

      • Omar Al-Bataineh, Mark Reynolds, David Rosenblum
      Pages 216-234

    12. Lazy Reachability Checking for Timed Automata with Discrete Variables

      • Tamás Tóth, István Majzik
      Pages 235-254

    13. From SysML to Model Checkers via Model Transformation

      • Martin Kölbl, Stefan Leue, Hargurbir Singh
      Pages 255-274

    14. Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking

      • Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang
      Pages 275-291

    15. Quantitative Model Checking for a Controller Design

      • YoungMin Kwon, Eunhee Kim
      Pages 292-307
Back to top

Other volumes

  1. Model Checking Software

Editors and Affiliations

  • University of Málaga, Málaga, Spain

    María del Mar Gallardo, Pedro Merino

Bibliographic Information

Publish with us

Policies and ethics

Back to top