Abstract is missing.
- Model Checking Cell Fate DecisionsJasmin Fisher. 1 [doi]
- Property-Dependent Reductions for the Modal Mu-CalculusRadu Mateescu, Anton Wijs. 2-19 [doi]
- String Abstractions for String VerificationFang Yu, Tevfik Bultan, Ben Hardekopf. 20-37 [doi]
- Parallel Recursive State Compression for FreeAlfons Laarman, Jaco van de Pol, Michael Weber 0002. 38-56 [doi]
- Depth Bounded Explicit-State Model CheckingAbhishek Udupa, Ankush Desai, Sriram Rajamani. 57-74 [doi]
- Randomized Backtracking in State Space TraversalPavel Parizek, Ondrej Lhoták. 75-89 [doi]
- An Analytic Evaluation of SystemC Encodings in PromelaDaniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri. 90-107 [doi]
- Building Extensible Specifications and Implementations of Promela with AblePYogesh Mali, Eric {Van Wyk}. 108-125 [doi]
- Program Sketching via CTL* Model CheckingAndreas Morgenstern, Klaus Schneider. 126-143 [doi]
- A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory SystemsAlexander Linden, Pierre Wolper. 144-160 [doi]
- Model Checking Industrial Robot SystemsMarkus Weißmann, Stefan Bedenk, Christian Buckl, Alois Knoll. 161-176 [doi]
- DiPro - A Tool for Probabilistic Counterexample GenerationHusain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov. 183-187 [doi]
- dBug: Systematic Testing of Unmodified Distributed and Multi-threaded SystemsJirí Simsa, Randy Bryant, Garth Gibson. 188-193 [doi]