37 search results - page 1 / 8 » spin 2009 |
90
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
79
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
107
click to vote
SPIN
2009
Springer
15 years 7 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...
105
Voted
SPIN
2009
Springer
15 years 7 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...
87
Voted
CSIE
2009
IEEE
15 years 5 months ago
2009
IEEE