×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [b b c d b d]
Automated abstraction refinement II Heuristic aspects Ken McMillan Cadence Berkeley Labs
223 views
The behavior of SAT solvers in model checking applications K. L. McMillan Cadence Berkeley Labs
218 views
Exploiting SAT solvers in unbounded model checking K. L. McMillan Cadence Berkeley Labs
221 views
SAT and Model Checking. Bounded Model Checking (BMC) A.I. Planning problems: can we reach a desired state in k steps? Verification of safety properties:
223 views