Sciweavers

36 search results - page 1 / 8
» spin 2005
Sort
View
SPIN
2005
Springer
13 years 9 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
SPIN
2005
Springer
13 years 9 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp
SPIN
2005
Springer
13 years 9 months ago
Sound Transaction-Based Reduction Without Cycle Detection
Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram...