MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Counterexample-Guided Abstraction Refinement." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

150 documents found, showing 1 through 10. Next 10 →

ATOM

Counterexample-guided Abstraction Refinement
by Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith — 2000
…Counterexample-guided Abstraction Refinement Edmund Clarke ¡ , Orna Grumberg ¢ , Somesh Jha…
Cited by 331 (45 self) – Add To MetaCart

Counterexample guided abstraction refinement via program execution
by Daniel Kroening, Alex Groce, Edmund Clarke — 2004 — Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods
… Counterexample Guided Abstraction Refinement viaProgram Execution Daniel Kroening, Alex Groce…
Cited by 12 (1 self) – Add To MetaCart

VCEGAR: Verilog counterexample guided abstraction refinement
by Himanshu Jain, Natasha Sharygina, Edmund Clarke — 2007 — In Tools and Algorithms for the Construction and Analysis of Systems (TACAS’07
…VCEGAR: Verilog CounterExample Guided Abstraction Refinement ⋆ Himanshu Jain 1 ,DanielKroening 2…
Cited by 1 (0 self) – Add To MetaCart

Counterexample-guided abstraction refinement for the analysis of graph transformation systems
by Barbara König, Vitali Kozioura — 2006 — In: Proc. of TACAS ’06
…Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems…
Cited by 8 (1 self) – Add To MetaCart

SAT based counterexample-guided abstraction-refinement
by Edmund Clarke, Anubhav Gupta, Ofer Strichman — 2004 — Transactions on Computer Aided Design (TCAD), 23(7):1113 – 1123
…SAT based Counterexample-Guided Abstraction-Refinement ⋆ Edmund Clarke Anubhav Gupta Ofer…
Cited by 3 (2 self) – Add To MetaCart

Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement
by Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, Michael Theobald — 2003 — In Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
…Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement ⋆ Edmund…
Cited by 13 (3 self) – Add To MetaCart

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
by Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald — 2003
… ABSTRACTION AND COUNTEREXAMPLE-GUIDED REFINEMENT IN MODEL CHECKING OF HYBRID SYSTEMS ∗ EDMUND CLARKE 1…
Cited by 23 (4 self) – Add To MetaCart

Terminator: Beyond Safety
by Byron Cook, Andreas Podelski, Andrey Rybalchenko — 2006 — IN CAV
… on predicate abstraction, pushdown model checking and iterative counterexample-guided abstraction refinement…
Cited by 22 (4 self) – Add To MetaCart

Refining Abstractions of Hybrid Systems Using Counterexample Fragments
by Ansgar Fehnker, Edmund Clarke, Sumit Jha, Bruce Krogh — In Hybrid Systems: Computation and Control (HSCC’05), volume 3414 of Lect. Notes Comput. Sci
…) Abstract. Counterexample guided abstraction refinement, a powerful technique for verifying properties…
Cited by 3 (2 self) – Add To MetaCart

Operations
by Étienne André, Thomas Chatain, Emmanuelle Encrenaz, Laurent Fribourg — 2008
… property) A well-known method : CEGAR (Counter-Example Guided Abstraction Refinement [Clarke & Lu 2000…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB