950 search results - page 1 / 190 » Software model checking with SPIN |
130
Voted
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
171
click to vote
SPIN
2009
Springer
16 years 10 days 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...
193
Voted
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
125
Voted
SPIN
1999
Springer
15 years 10 months ago
1999
Springer