1304 search results - page 23 / 261 » Model Checking C Programs Using F-SOFT |
SPIN
2005
Springer
15 years 5 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...
100
click to vote
ERSHOV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
SPIN
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
128
click to vote
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
106
click to vote
ILC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...