18. SPIN 2011: Snowbird, UT, USA

Alex Groce, Madanlal Musuvathi (Eds.): Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings. Lecture Notes in Computer Science 6823 Springer 2011, ISBN 978-3-642-22305-1

Invited Contributions

Jasmin Fisher:
Model Checking Cell Fate Decisions. 1

Abstractions and State-Space Reductions

Radu Mateescu, Anton Wijs:
Property-Dependent Reductions for the Modal Mu-Calculus. 2-19
Fang Yu, Tevfik Bultan, Ben Hardekopf:
String Abstractions for String Verification. 20-37
Alfons Laarman, Jaco van de Pol, Michael Weber:
Parallel Recursive State Compression for Free. 38-56

Search Strategies

Abhishek Udupa, Ankush Desai, Sriram K. Rajamani:
Depth Bounded Explicit-State Model Checking. 57-74
Pavel Parizek, Ondrej Lhoták:
Randomized Backtracking in State Space Traversal. 75-89

PROMELA Encodings and Extensions

Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
An Analytic Evaluation of SystemC Encodings in Promela. 90-107
Yogesh Mali, Eric Van Wyk:
Building Extensible Specifications and Implementations of Promela with AbleP. 108-125

Applications of Model Checking

Andreas Morgenstern, Klaus Schneider:
Program Sketching via CTL* Model Checking. 126-143
Alexander Linden, Pierre Wolper:
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. 144-160
Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois Knoll:
Model Checking Industrial Robot Systems. 161-176

Tool Demonstrations

Bob de Vos, Lennart C. L. Kats, Cornelis Pronk:
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. 177-182
Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov:
DiPro - A Tool for Probabilistic Counterexample Generation. 183-187
Jirí Simsa, Randy Bryant, Garth A. Gibson:
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems. 188-193

Last update Sun May 19 23:36:57 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page