Resources

1 Resources for

abstraction refinement

Experiments With SAT-Based Symbolic Simulation Using Reparameterization in the Abstraction Refinement Framework: This white paper presents experimental results on the performance of using symbolic simulation with SAT-based reparametrization within the Counterexample Guided Abstraction Refinement framework. Abstraction refinement has been applied successfully to prove safety properties of large industrial circuits. However, all existing abstraction refinement frameworks simply use SAT-based Bounded Model Checking BMC...; Tags: Carnegie-Mellon University, Abstraction Refinement, Abstraction Refinement Framework, Engineering, Performance Management, Human Resources, Workforce Management; White papers 2004-05-13

Predicate Abstraction and Refinement Techniques for Verifying Verilog: This white paper evaluates three techniques to improve the performance of SAT-based predicate abstraction of circuits. First the partition of the abstraction problem by forming subsets of the predicates making the resulting abstractions more coarse, but the computation of the abstract transition relation becomes easier, secondly evaluates the performance effect...; Tags: Technique, Abstraction, Productivity, Performance Management, Human Resources, Workforce Management; White papers 2004-06-25
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems: This paper presents a new procedure to perform this refinement operation for abstractions of hybrid systems by following an approach originally developed for finite-state systems. Hybrid dynamic systems include both continuous and discrete state variables. The paper also shows how such reachability computations with varying degrees of complexity that can...; Tags: Carnegie-Mellon University, Abstraction; White papers 2003-01-24