| Description |
1 online resource (x, 193 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 6823 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 6823. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Model checking cell fate decisions / Jasmin Fisher -- Property-dependent reductions for the modal Mu-calculus / Radu Mateescu and Anton Wijs -- String abstractions for string verification / Fang Yu, Tevfik Bultan, and Ben Hardekopf -- Parallel recursive state compression for free / Alfons Laarman, Jaco van de Pol, and Michael Weber -- Depth bounded explicit-state model checking / Abhishek Udupa, Ankush Desai, and Sriram Rajamani -- Randomized backtracking in state space traversal / Pavel Parízek and Ondřej Lhoták -- An analytic evaluation of systemc encodings in Promela / Daniele Campana [and others] -- Building extensible specifications and implementations of Promela with AbleP / Yogesh Mali and Eric Van Wyk -- Program sketching via CTL* model checking / Andreas Morgenstern and Klaus Schneider -- A verification-based approach to memory fence insertion in relaxed memory systems / Alexander Linden and Pierre Wolper -- Model checking industrial robot systems / Markus Weißmann [and others] -- EpiSpin: an eclipse plug-in for Promela/Spin using Spoofax / Bob de Vos, Lennart C.L. Kats, and Cornelis Pronk -- DiPro-a tool for probabilistic counterexample generation / Husain Aljazzar [and others] -- dBug: systematic testing of unmodified distributed and multi-threaded systems / Jiří Šimsa, Randy Bryant, and Garth Gibson |
| Summary |
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking |
| Bibliography |
Includes bibliographical references and index |
| Notes |
English |
|
Print version record |
| SUBJECT |
SPIN (Computer file) -- Congresses
|
|
SPIN (Computer file) fast |
| Subject |
Computer software -- Verification -- Congresses
|
|
Informatique.
|
|
Computer software -- Verification
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Groce, Alex.
|
|
Musuvathi, Madanlal.
|
| ISBN |
9783642223068 |
|
3642223060 |
|
