Making the most of BMC counterexamples

Making the most of BMC counterexamples

Taispeáin leaganacha eile (1)

The value of model checking counterexamples for debugging programs (and specifications) is widely recognized. Unfortunately, bounded model checkers often produce counterexamples that are difficult to understand due to the values chosen by a SAT solver. This paper presents two approaches to making be...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Groce, A, Kroening, D
Formáid:	Journal article
Foilsithe / Cruthaithe:	Elsevier 2005

Míreanna comhchosúla

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

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

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

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)

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

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

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

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

VCEGAR: Verilog CounterExample Guided Abstraction Refinement
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2007)

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)

Successful use of incremental BMC in the automotive industry
de réir: Schrammel, P, et al.
Foilsithe / Cruthaithe: (2015)

Counterexamples in probability /
de réir: 411864 Stoyanov, Jordan M.
Foilsithe / Cruthaithe: (1997)

Counterexamples in topology /
de réir: Steen, Lynn Arthur, 1941-, et al.
Foilsithe / Cruthaithe: (1978)

Counterexamples in analysis /
de réir: 201017 Gelbaum, Bernard R., et al.
Foilsithe / Cruthaithe: (1964)

BMC preface.
de réir: Davis, B
Foilsithe / Cruthaithe: (2013)

On counterexamples to the Hughes conjecture
de réir: Havas, G, et al.
Foilsithe / Cruthaithe: (2009)

Theorems and counterexamples in mathemamatics /
de réir: 201017 Gelbaum, Bernard R., et al.
Foilsithe / Cruthaithe: (1990)

Counterexamples in self-testing
de réir: Laura Mančinska, et al.
Foilsithe / Cruthaithe: (2023-07-01)

BMC Rheumatology: a home for all rheumatology research within the BMC Series
de réir: James Mockridge, et al.
Foilsithe / Cruthaithe: (2017-11-01)

2024 joint BMC Ecology and Evolution and BMC Zoology image competition: the winning images
de réir: Jennifer Harman, et al.
Foilsithe / Cruthaithe: (2024-08-01)

A counterexample to metric differentiability
de réir: Kirchheim, B, et al.
Foilsithe / Cruthaithe: (2003)

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

Minimum counterexamples in group theory /
de réir: 357122 Sheila Ilangovan, et al.
Foilsithe / Cruthaithe: (2004)

Minimum counterexamples in group theory /
de réir: 615523 Nor Haniza Sarmin, et al.
Foilsithe / Cruthaithe: (2004)

Counterexamples for your calculus course
de réir: Jürgen Appell, et al.
Foilsithe / Cruthaithe: (2025-06-01)

An Examination of Counterexamples in Proofs and Refutations
de réir: Samet Bağçe, et al.
Foilsithe / Cruthaithe: (2009-10-01)

Counterexamples to the Maximum Force Conjecture
de réir: Aden Jowsey, et al.
Foilsithe / Cruthaithe: (2021-10-01)

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

Dialectica Interpretation with Marked Counterexamples
de réir: Trifon Trifonov
Foilsithe / Cruthaithe: (2011-01-01)

BMC Biology turns five
de réir: Kowalczuk Maria, et al.
Foilsithe / Cruthaithe: (2008-12-01)

15 years of BMC Biology
de réir: Christian Matheou, et al.
Foilsithe / Cruthaithe: (2018-11-01)

BMC Bioinformatics comes of age
de réir: Cockerill Matthew J
Foilsithe / Cruthaithe: (2005-06-01)

High-level Counterexamples for Probabilistic Automata
de réir: Ralf Wimmer, et al.
Foilsithe / Cruthaithe: (2015-03-01)

A counterexample to the coarse Menger conjecture
de réir: Nguyen, T, et al.
Foilsithe / Cruthaithe: (2025)

A counterexample to a conjecture of Schwartz
de réir: Brandt, F, et al.
Foilsithe / Cruthaithe: (2013)

A counterexample to a conjecture of Schwartz
de réir: Brandt, F, et al.
Foilsithe / Cruthaithe: (2012)

Fifteen years of epidemiology in BMC Medicine
de réir: Deborah A. Lawlor
Foilsithe / Cruthaithe: (2019-09-01)

A numerical study of Witsenhausen's Counterexample
de réir: Romvary, Jordan (Jordan Joseph)
Foilsithe / Cruthaithe: (2015)