42 search results - page 2 / 9 » Checking Safety by Inductive Generalization of Counterexampl... |
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
FMCAD
2000
Springer
13 years 9 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
DAC
2010
ACM
13 years 9 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...