Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2018

Model Checking Software

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

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)

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

Conference proceedings info: SPIN 2018.

Sections

Buy it now

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

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

Table of contents (19 papers)

  1. Front Matter

    Pages I-XVI
    PDF

  2. Tutorial and Invited Papers

    1. Front Matter

      Pages 1-1
      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. Regular Papers

    1. Front Matter

      Pages 63-63
      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

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

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

    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

Back to top

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. 

Back to top

Keywords

Back to top

Editors and Affiliations

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

    María del Mar Gallardo, Pedro Merino

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation