950 search results - page 40 / 190 » Software model checking with SPIN |
95
Voted
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
121
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
85
Voted
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer
94
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
177
Voted
COMPSAC
2011
IEEE
14 years 2 months ago
2011
IEEE
