2282 search results - page 31 / 457 » Active property checking |
DATE
2007
IEEE
14 years 5 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
ICLP
2004
Springer
14 years 4 months ago
2004
Springer
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
IGARSS
2009
13 years 8 months ago
2009
The ability of the active microwave remote sensing to complement existing optical vegetation indices has been explored by variety of studies [1-4]. To demonstrate these complement...
CAV
2004
Springer
14 years 4 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
IAW
2003
IEEE
14 years 4 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...