Advertisement

Model Checking Software

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

  • Ezio Bartocci
  • C. R. Ramakrishnan
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
  20. Divjyot Sethi, Muralidhar Talupur, Sharad Malik
    Pages 320-340
  21. Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske
    Pages 341-357
  22. Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee
    Pages 358-375
  23. Back Matter

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-39176-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39175-0
  • Online ISBN 978-3-642-39176-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering