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 9 months ago

Advanced SPIN Tutorial

Download spinroot.com

Theo C. Ruys, Gerard J. Holzmann

claim paper

Read More »

7

SPIN
2004
Springer

104views Theoretical Computer Science» more SPIN 2004»

Using Fairness to Make Abstractions Work

13 years 9 months ago

Using Fairness to Make Abstractions Work

Download spinroot.com

Dragan Bosnacki, Natalia Ioustinova, Natalia Sidor...

claim paper

Read More »

8

SPIN
2004
Springer

124views Theoretical Computer Science» more SPIN 2004»

IF Validation Environment Tutorial

13 years 9 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 9 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 »

6

SPIN
2004
Springer

96views Theoretical Computer Science» more SPIN 2004»

Minimization of Counterexamples in SPIN

13 years 9 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 »