47 search results - page 1 / 10 » spin 2004 |
152
Voted
SPIN
2004
Springer
16 years 11 days ago
2004
Springer
149
Voted
SPIN
2004
Springer
16 years 11 days ago
2004
Springer
140
Voted
SPIN
2004
Springer
16 years 11 days ago
2004
Springer
190
Voted
SPIN
2004
Springer
16 years 11 days 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...