ENGLISH

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

By Jaco van de Pol , Michael Weber (eds.) , Alessandro Cimatti (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
9783642161643, 3642161642
DOI
10.1007/978-3-642-16164-3
Language
english
Format
PDF
Filesize
4 MB (3793682 bytes)
Series
Lecture Notes in Computer Science 6349 : Theoretical Computer Science and General Issues
Edition
1
Pages
263\272
Time added
2013-04-24 17:00:00
CompilersInterpreters; Logics and Meanings of Programs; MatSoftware Engineering; Programming Languages

Description

This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent software.

Similar books