Search Sciweavers | Sciweavers

950 search results - page 1 / 190

» Software model checking with SPIN

click to vote

SPIN
2005
Springer

95views Theoretical Computer Science» more SPIN 2005»

Memory Efficient State Space Storage in Explicit Software Model Checking

13 years 9 months ago

Download cedric.cnam.fr

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

claim paper

Read More »

click to vote

SPIN
2009
Springer

120views Theoretical Computer Science» more SPIN 2009»

Tool Presentation: Teaching Concurrency and Model Checking

13 years 11 months ago

Download stwww.weizmann.ac.il

This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and ﬁlter...

Mordechai Ben-Ari

claim paper

Read More »

click to vote

SPIN
1999
Springer

164views Theoretical Computer Science» more SPIN 1999»

Assume-Guarantee Model Checking of Software: A Comparative Case Study

13 years 8 months ago

Download spinroot.com

A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...

Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...

claim paper

Read More »

click to vote

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

13 years 11 months ago