Sciweavers

36 search results - page 1 / 8

» spin 2005

19

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

14 years 27 days ago

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

20

SPIN
2005
Springer

95views Theoretical Computer Science» more SPIN 2005»

Memory Efficient State Space Storage in Explicit Software Model Checking

14 years 27 days ago

Memory Efficient State Space Storage in Explicit Software Model Checking

Download cedric.cnam.fr

Sami Evangelista, Jean-François Pradat-Peyr...

claim paper

Read More »

21

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

14 years 27 days ago

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

16

SPIN
2005
Springer

100views Theoretical Computer Science» more SPIN 2005»

Sound Transaction-Based Reduction Without Cycle Detection

14 years 27 days ago

Sound Transaction-Based Reduction Without Cycle Detection

Download research.microsoft.com

Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram...

claim paper

Read More »

16

SAC
2005
ACM

94views Applied Computing» more SAC 2005»

Prediction of inherited and genetic mutations using the software model checker SPIN

14 years 29 days ago

Prediction of inherited and genetic mutations using the software model checker SPIN

Download www.cs.utep.edu

Zubin Balsara, Steve Roach

claim paper

Read More »

« Prev « First page 1 / 8 Last » Next »