SPIN
2005
Springer
13 years 10 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
2005
Springer
13 years 10 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...