© 2013

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

  • Ezio Bartocci
  • C. R. Ramakrishnan


  • Up-to-date results

  • Fast track conference proceedings

  • State-of-the-art report

Conference proceedings SPIN 2013

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

Table of contents

  1. Front Matter
  2. Dirk Beyer, Philipp Wendler
    Pages 1-17
  3. Gerard J. Holzmann
    Pages 18-23
  4. Kiran Adhikari, James Street, Chao Wang, Yang Liu, ShaoJie Zhang
    Pages 24-42
  5. Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
    Pages 43-60
  6. Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
    Pages 61-80
  7. Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček
    Pages 81-98
  8. John Backes, Suzette Person, Neha Rungta, Oksana Tkachuk
    Pages 99-116
  9. Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan et al.
    Pages 117-134
  10. Sagar Chaki, Joseph Andrew Giampapa
    Pages 135-153
  11. Chih-Hong Cheng, Michael Geisinger, Christian Buckl
    Pages 154-159
  12. Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jiří Srba, Lars Kaerlund Oestergaard
    Pages 178-195
  13. Sven Gröning, Christopher Rosas, Christian Wietfeld
    Pages 196-208
  14. Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
    Pages 209-226
  15. Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber
    Pages 227-245
  16. Florian Leitner-Fischer, Stefan Leue
    Pages 246-263
  17. Stefan Leue, Mitra Tabaei Befrouei
    Pages 264-281
  18. Nuno P. Lopes, José Monteiro
    Pages 282-300
  19. Anthony Romano, Dawson Engler
    Pages 301-319

About these proceedings


This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.


SAT solving benchmark generation cloud computing statistical model checking theorem proving

Editors and affiliations

  • Ezio Bartocci
    • 1
  • C. R. Ramakrishnan
    • 2
  1. 1.Department of Computer EngineeringVienna, University of TechnologyAustria
  2. 2.Department of Computer ScienceStony Brook UniversityStony BrookUSA

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment