47 search results - page 1 / 10 » spin 2004 |
92
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
97
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
86
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
83
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
129
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...