Անցեք բովանդակությանը
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Լեզու
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Ցուցիչ
Գտեք
Ընդլայնված
VCEGAR: Verilog CounterExample...
Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Արտահանել դեպի RefWorks
Արտահանել դեպի EndNoteWeb
Արտահանել դեպի EndNote
Մշտական հղում
VCEGAR: Verilog CounterExample Guided Abstraction Refinement
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:
Jain, H
,
Kroening, D
,
Sharygina, N
,
Clarke, E
Ձևաչափ:
Conference item
Հրապարակվել է:
Springer
2007
Պահումներ
Նկարագրություն
Նմանատիպ նյութեր
Աշխատակազմի տեսք
Նմանատիպ նյութեր
Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
: Jain, H, և այլն
Հրապարակվել է: (2008)
Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
: Jain, H, և այլն
Հրապարակվել է: (2005)
Word level predicate abstraction and refinement for verifying RTL verilog
: Jain, H, և այլն
Հրապարակվել է: (2005)
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
: Jain, H, և այլն
Հրապարակվել է: (2008)
Word-level predicate-abstraction and refinement rechniques for verifying RTL Verilog
: Jain, H, և այլն
Հրապարակվել է: (2008)
Counterexample Guided Abstraction Refinement via Program Execution
: Groce, A, և այլն
Հրապարակվել է: (2004)
Counterexample-guided abstraction refinement for symmetric concurrent programs
: Donaldson, A, և այլն
Հրապարակվել է: (2012)
Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs
: Kroening, D, և այլն
Հրապարակվել է: (2007)
Verification of SpecC and Verilog using Predicate Abstraction
: Jain, H, և այլն
Հրապարակվել է: (2004)
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
: Janota, M, և այլն
Հրապարակվել է: (2010)
Counterexamples with Loops for Predicate Abstraction
: Kroening, D, և այլն
Հրապարակվել է: (2006)
Checking consistency of C and Verilog using predicate abstraction and induction
: Kroening, D, և այլն
Հրապարակվել է: (2004)
Checking Consistency of C and Verilog using Predicate Abstraction and Induction
: Kroening, D, և այլն
Հրապարակվել է: (2004)
Introduction to CEGAR —Counter-Example Guided Abstraction Refinement
: M. U. Mandrykin, և այլն
Հրապարակվել է: (2018-10-01)
Counterexample−guided Precondition Inference
: Seghir, M, և այլն
Հրապարակվել է: (2013)
Counterexample-guided precondition inference
: Seghir, M, և այլն
Հրապարակվել է: (2013)
On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem
: Lowe, G
Հրապարակվել է: (2004)
Counterexample guided inductive synthesis modulo theories
: Abate, A, և այլն
Հրապարակվել է: (2018)
Understanding Counterexamples with explain
: Groce, A, և այլն
Հրապարակվել է: (2004)
Making the most of BMC counterexamples
: Groce, A, և այլն
Հրապարակվել է: (2005)
Making the Most of BMC Counterexamples
: Groce, A, և այլն
Հրապարակվել է: (2005)
Model Checking with Abstraction for Web Services
: Sharygina, N, և այլն
Հրապարակվել է: (2007)
Predicate abstraction of ANSI-C programs using SAT
: Clarke, E, և այլն
Հրապարակվել է: (2004)
Predicate Abstraction of ANSI–C Programs using SAT
: Clarke, E, և այլն
Հրապարակվել է: (2015)
Predicate Abstraction of ANSI-C Programs Using SAT.
: Clarke, E, և այլն
Հրապարակվել է: (2004)
SATABS: SAT−based Predicate Abstraction for ANSI−C
: Clarke, E, և այլն
Հրապարակվել է: (2005)
Predicate Abstraction of ANSI-C Programs Using SAT
: Clarke, E, և այլն
Հրապարակվել է: (2004)
Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
: Kroening, D, և այլն
Հրապարակվել է: (2003)
Examples and counterexamples in graph theory /
: 400749 Capobianco, Michael
Հրապարակվել է: (1978)
The Breakdown Point — Examples and Counterexamples
: P.L. Davies, և այլն
Հրապարակվել է: (2007-03-01)
Starter's guide to verilog 2001 /
: 287192 Ciletti, Michael D.
Հրապարակվել է: (2004)
Context-aware counter abstraction.
: Basler, G, և այլն
Հրապարակվել է: (2010)
The designer's guide to Verilog-AMS /
: 256844 Kundert, Kenneth S., և այլն
Հրապարակվել է: (2004)
V2c – A Verilog to C translator
: Mukherjee, R, և այլն
Հրապարակվել է: (2016)
Strengthening properties using abstraction refinement
: Purandare, M, և այլն
Հրապարակվել է: (2009)
A Parametric Counterexample Refinement Approach for Robust Timed Specifications
: Louis-Marie Traonouez
Հրապարակվել է: (2012-07-01)
DSValidator: an automated counterexample reproducibility tool for digital systems
: Chaves, L, և այլն
Հրապարակվել է: (2018)
Under-approximating loops in C programs for fast counterexample detection
: Kroening, D, և այլն
Հրապարակվել է: (2013)
Under-approximating loops in C programs for fast counterexample detection
: Kroening, D, և այլն
Հրապարակվել է: (2015)
A Few Examples and Counterexamples in Spectral Graph Theory
: Stevanović Dragan, և այլն
Հրապարակվել է: (2020-05-01)
Prev
Հաջորդը
Նմանատիպ նյութեր
Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
: Jain, H, և այլն
Հրապարակվել է: (2008)
Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
: Jain, H, և այլն
Հրապարակվել է: (2005)
Word level predicate abstraction and refinement for verifying RTL verilog
: Jain, H, և այլն
Հրապարակվել է: (2005)
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
: Jain, H, և այլն
Հրապարակվել է: (2008)
Word-level predicate-abstraction and refinement rechniques for verifying RTL Verilog
: Jain, H, և այլն
Հրապարակվել է: (2008)
