SPIN 2011 Program, July 14-15, 2011, Snowbird, Utah


Invited Speakers
A Tool Based Approach to Conquering Concurrent Programming, Tom Ball
Model Checking Cell Fate Decisions, Jasmin Fisher
Random Testing for C Compilers, John Regehr
Reasoning About Replication: Parameteric Verification of Industrial Protocols, Murali Talupur
Technical Papers
[PDF] Property-Dependent Reductions for the Modal Mu-Calculus, Radu Mateescu and Anton Wijs
[PDF] String Abstractions for String Verification, Fang Yu, Tevfik Bultan and Ben Hardekopf
[PDF] Parallel Recursive State Compression for Free, Alfons Laarman, Jaco Van De Pol and Michael Weber
[PDF] Program Sketching via CTL* Model Checking, Andreas Morgenstern and Klaus Schneider
[PDF] A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems, Alexander Linden and Pierre Wolper
[PDF] Model Checking Industrial Robot Systems, Markus Weissmann, Stefan Bedenk, Christian Buckl and Alois Knoll
[PDF] Depth Bounded Explicit State Model Checking, Abhishek Udupa, Ankush Desai and Sriram Rajamani
[PDF] Randomized Backtracking in State Space Traversal, Pavel Parizek and Ondrej Lhotak
[PDF] An Analytic Evaluation of SystemC Encodings in Promela, Daniele Campana, Alessandro Cimatti, Iman Narasamdya and Marco Roveri
[PDF] Building Extensible Specifications and Implementations of Promela with AbleP, Yogesh Mali and Eric Van Wyk
Tool Presentations
[PDF] EpiSpin: en Eclipse Plug-in for Promela/Spin using Spoofax, Bob De Vos, Lennart Kats and Cornelis Pronk
[PDF] DiPro - A Tool for Probabilistic Counterexample Generation, Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue and Dimitar Simeonov
[PDF] dBug: Systematic Testing of Unmodified Distributed and Multi-Threaded Systems, Jiri Simsa, Randy Bryant and Garth Gibson

Spin Homepage
Spin Workshops