Resources

1 Resources for

abstraction refinement framework

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