1108 search results - page 32 / 222 » Model Checking of Safety Properties |
95
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
100
Voted
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
99
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
131
click to vote
VLSID
2004
IEEE
16 years 25 days ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...