Model Checking Software

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

  • María del Mar Gallardo
  • Pedro Merino
Conference proceedings SPIN 2018

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10869)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Tutorial and Invited Papers

    1. Front Matter
      Pages 1-1
    2. Irina Măriuca Asăvoae, Hoang Nga Nguyen, Markus Roggenbach
      Pages 3-25
  3. Regular Papers

    1. Front Matter
      Pages 63-63
    2. Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
      Pages 65-84
    3. Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
      Pages 85-102
    4. Daniel Gnad, Patrick Dubbert, Alberto Lluch Lafuente, Jörg Hoffmann
      Pages 103-114
    5. Marek Chalupa, Jan Strejček, Martina Vitovská
      Pages 115-132
    6. Adrien Pommellet, Tayssir Touili
      Pages 133-152
    7. Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff
      Pages 153-170
    8. Léo Henry, Thierry Jéron, Nicolas Markey
      Pages 171-189
    9. Laura Panizo, Almudena Díaz, Bruno García
      Pages 190-195
    10. Omar Al-Bataineh, Mark Reynolds, David Rosenblum
      Pages 216-234
    11. Martin Kölbl, Stefan Leue, Hargurbir Singh
      Pages 255-274
    12. Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang
      Pages 275-291
    13. YoungMin Kwon, Eunhee Kim
      Pages 292-307
    14. Antti Valmari, Vesa Lappalainen
      Pages 308-327
    15. Irina Măriuca Asăvoae, Mihail Asăvoae, Adrián Riesco
      Pages 328-346
  4. Back Matter
    Pages 347-347

About these proceedings


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. 


Software engineering Semantics Model checking Software evaluation Specifications Programming languages State space Verification

Editors and affiliations

  • María del Mar Gallardo
    • 1
  • Pedro Merino
    • 2
  1. 1.University of MálagaMálagaSpain
  2. 2.University of MálagaMálagaSpain

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-94110-3
  • Online ISBN 978-3-319-94111-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment