950 search results - page 40 / 190 » Software model checking with SPIN |
SPIN
2005
Springer
14 years 1 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...
SPIN
2001
Springer
14 years 1 days 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...
FOSSACS
2001
Springer
14 years 3 days ago
2001
Springer
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
COMPSAC
2011
IEEE
12 years 7 months ago
2011
IEEE
