VCEGAR: Verilog CounterExample Guided Abstraction Refinement

VCEGAR: Verilog CounterExample Guided Abstraction Refinement

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Jain, H, Kroening, D, Sharygina, N, Clarke, E
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer 2007

Míreanna comhchosúla

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2008)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2005)

Word level predicate abstraction and refinement for verifying RTL verilog
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2005)

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2008)

Word-level predicate-abstraction and refinement rechniques for verifying RTL Verilog
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2008)

Counterexample Guided Abstraction Refinement via Program Execution
de réir: Groce, A, et al.
Foilsithe / Cruthaithe: (2004)

Counterexample-guided abstraction refinement for symmetric concurrent programs
de réir: Donaldson, A, et al.
Foilsithe / Cruthaithe: (2012)

Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2007)

Verification of SpecC and Verilog using Predicate Abstraction
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2004)

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
de réir: Janota, M, et al.
Foilsithe / Cruthaithe: (2010)

Counterexamples with Loops for Predicate Abstraction
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2006)

Checking consistency of C and Verilog using predicate abstraction and induction
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2004)

Checking Consistency of C and Verilog using Predicate Abstraction and Induction
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2004)

Introduction to CEGAR —Counter-Example Guided Abstraction Refinement
de réir: M. U. Mandrykin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Counterexample−guided Precondition Inference
de réir: Seghir, M, et al.
Foilsithe / Cruthaithe: (2013)

Counterexample-guided precondition inference
de réir: Seghir, M, et al.
Foilsithe / Cruthaithe: (2013)

On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem
de réir: Lowe, G
Foilsithe / Cruthaithe: (2004)

Counterexample guided inductive synthesis modulo theories
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2018)

Understanding Counterexamples with explain
de réir: Groce, A, et al.
Foilsithe / Cruthaithe: (2004)

Making the most of BMC counterexamples
de réir: Groce, A, et al.
Foilsithe / Cruthaithe: (2005)

Making the Most of BMC Counterexamples
de réir: Groce, A, et al.
Foilsithe / Cruthaithe: (2005)

Model Checking with Abstraction for Web Services
de réir: Sharygina, N, et al.
Foilsithe / Cruthaithe: (2007)

Predicate abstraction of ANSI-C programs using SAT
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2004)

Predicate Abstraction of ANSI–C Programs using SAT
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2015)

Predicate Abstraction of ANSI-C Programs Using SAT.
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2004)

SATABS: SAT−based Predicate Abstraction for ANSI−C
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2005)

Predicate Abstraction of ANSI-C Programs Using SAT
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2004)

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2003)

Examples and counterexamples in graph theory /
de réir: 400749 Capobianco, Michael
Foilsithe / Cruthaithe: (1978)

The Breakdown Point — Examples and Counterexamples
de réir: P.L. Davies, et al.
Foilsithe / Cruthaithe: (2007-03-01)

Starter's guide to verilog 2001 /
de réir: 287192 Ciletti, Michael D.
Foilsithe / Cruthaithe: (2004)

Context-aware counter abstraction.
de réir: Basler, G, et al.
Foilsithe / Cruthaithe: (2010)

The designer's guide to Verilog-AMS /
de réir: 256844 Kundert, Kenneth S., et al.
Foilsithe / Cruthaithe: (2004)

V2c – A Verilog to C translator
de réir: Mukherjee, R, et al.
Foilsithe / Cruthaithe: (2016)

Strengthening properties using abstraction refinement
de réir: Purandare, M, et al.
Foilsithe / Cruthaithe: (2009)

A Parametric Counterexample Refinement Approach for Robust Timed Specifications
de réir: Louis-Marie Traonouez
Foilsithe / Cruthaithe: (2012-07-01)

DSValidator: an automated counterexample reproducibility tool for digital systems
de réir: Chaves, L, et al.
Foilsithe / Cruthaithe: (2018)

Under-approximating loops in C programs for fast counterexample detection
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2013)

Under-approximating loops in C programs for fast counterexample detection
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2015)

A Few Examples and Counterexamples in Spectral Graph Theory
de réir: Stevanović Dragan, et al.
Foilsithe / Cruthaithe: (2020-05-01)