2282 search results - page 6 / 457 » Active property checking |
113
Voted
ACSD
2010
IEEE
15 years 18 days ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
184
click to vote
CAV
1999
Springer
15 years 6 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
107
Voted
CAV
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
101
Voted
ENTCS
2006
15 years 2 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
108
click to vote
WOLLIC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...