1497 search results - page 88 / 300 » Extended static checking |
SAC
2009
ACM
15 years 9 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
112
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
131
click to vote
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
114
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
132
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...