37 search results - page 1 / 8 » spin 2009 |
114
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
110
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
131
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
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 filter...
126
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...