950 search results - page 4 / 190 » Software model checking with SPIN |
WWW
2006
ACM
14 years 6 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
SPIN
2005
Springer
13 years 11 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
2004
Springer
13 years 11 months ago
2004
Springer
SPIN
2005
Springer
13 years 11 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
2000
Springer
13 years 9 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...