Sciweavers

47 search results - page 1 / 10

» spin 2004

9

SPIN
2004
Springer

109views Theoretical Computer Science» more SPIN 2004»

Advanced SPIN Tutorial

13 years 10 months ago

Advanced SPIN Tutorial

Download spinroot.com

Theo C. Ruys, Gerard J. Holzmann

claim paper

Read More »

9

SPIN
2004
Springer

104views Theoretical Computer Science» more SPIN 2004»

Using Fairness to Make Abstractions Work

13 years 10 months ago

Using Fairness to Make Abstractions Work

Download spinroot.com

Dragan Bosnacki, Natalia Ioustinova, Natalia Sidor...

claim paper

Read More »

10

SPIN
2004
Springer

124views Theoretical Computer Science» more SPIN 2004»

IF Validation Environment Tutorial

13 years 10 months ago

IF Validation Environment Tutorial

Download spinroot.com

Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...

claim paper

Read More »

10

SPIN
2004
Springer

97views Theoretical Computer Science» more SPIN 2004»

Model Checking Genetic Regulatory Networks Using GNA and CADP

13 years 10 months ago

Model Checking Genetic Regulatory Networks Using GNA and CADP

Download ibis.inrialpes.fr

Grégory Batt, Damien Bergamini, Hidde de Jo...

claim paper

Read More »

8

SPIN
2004
Springer

96views Theoretical Computer Science» more SPIN 2004»

Minimization of Counterexamples in SPIN

13 years 10 months ago

Minimization of Counterexamples in SPIN

Download spinroot.com

We propose an algorithm to ﬁnd a counterexample to some property in a ﬁnite state program. This algorithm is derived from SPIN’s one, but it ﬁnds a counterexample faster th...

Paul Gastin, Pierre Moro, Marc Zeitoun

claim paper

Read More »

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