![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
18th SPIN 2011: Snowbird, UT, USA
- Alex Groce, Madanlal Musuvathi:
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 Parízek
, 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 C. 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.