Making the most of BMC counterexamples

Making the most of BMC counterexamples

Show other versions (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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Groce, A, Kroening, D
Fformat:	Journal article
Cyhoeddwyd:	Elsevier 2005

Eitemau Tebyg

Making the Most of BMC Counterexamples
gan: Groce, A, et al.
Cyhoeddwyd: (2005)

Understanding Counterexamples with explain
gan: Groce, A, et al.
Cyhoeddwyd: (2004)

Counterexample Guided Abstraction Refinement via Program Execution
gan: Groce, A, et al.
Cyhoeddwyd: (2004)

Counterexample−guided Precondition Inference
gan: Seghir, M, et al.
Cyhoeddwyd: (2013)

Counterexample-guided precondition inference
gan: Seghir, M, et al.
Cyhoeddwyd: (2013)

Counterexamples with Loops for Predicate Abstraction
gan: Kroening, D, et al.
Cyhoeddwyd: (2006)

Counterexample-guided abstraction refinement for symmetric concurrent programs
gan: Donaldson, A, et al.
Cyhoeddwyd: (2012)

Counterexample guided inductive synthesis modulo theories
gan: Abate, A, et al.
Cyhoeddwyd: (2018)

DSValidator: an automated counterexample reproducibility tool for digital systems
gan: Chaves, L, et al.
Cyhoeddwyd: (2018)

VCEGAR: Verilog CounterExample Guided Abstraction Refinement
gan: Jain, H, et al.
Cyhoeddwyd: (2007)

Under-approximating loops in C programs for fast counterexample detection
gan: Kroening, D, et al.
Cyhoeddwyd: (2013)

Under-approximating loops in C programs for fast counterexample detection
gan: Kroening, D, et al.
Cyhoeddwyd: (2015)

Successful use of incremental BMC in the automotive industry
gan: Schrammel, P, et al.
Cyhoeddwyd: (2015)

Counterexamples in probability /
gan: 411864 Stoyanov, Jordan M.
Cyhoeddwyd: (1997)

Counterexamples in topology /
gan: Steen, Lynn Arthur, 1941-, et al.
Cyhoeddwyd: (1978)

Counterexamples in analysis /
gan: 201017 Gelbaum, Bernard R., et al.
Cyhoeddwyd: (1964)

BMC preface.
gan: Davis, B
Cyhoeddwyd: (2013)

On counterexamples to the Hughes conjecture
gan: Havas, G, et al.
Cyhoeddwyd: (2009)

Theorems and counterexamples in mathemamatics /
gan: 201017 Gelbaum, Bernard R., et al.
Cyhoeddwyd: (1990)

Counterexamples in self-testing
gan: Laura Mančinska, et al.
Cyhoeddwyd: (2023-07-01)

BMC Rheumatology: a home for all rheumatology research within the BMC Series
gan: James Mockridge, et al.
Cyhoeddwyd: (2017-11-01)

2024 joint BMC Ecology and Evolution and BMC Zoology image competition: the winning images
gan: Jennifer Harman, et al.
Cyhoeddwyd: (2024-08-01)

A counterexample to metric differentiability
gan: Kirchheim, B, et al.
Cyhoeddwyd: (2003)

Examples and counterexamples in graph theory /
gan: 400749 Capobianco, Michael
Cyhoeddwyd: (1978)

Minimum counterexamples in group theory /
gan: 357122 Sheila Ilangovan, et al.
Cyhoeddwyd: (2004)

Minimum counterexamples in group theory /
gan: 615523 Nor Haniza Sarmin, et al.
Cyhoeddwyd: (2004)

Counterexamples for your calculus course
gan: Jürgen Appell, et al.
Cyhoeddwyd: (2025-06-01)

An Examination of Counterexamples in Proofs and Refutations
gan: Samet Bağçe, et al.
Cyhoeddwyd: (2009-10-01)

Counterexamples to the Maximum Force Conjecture
gan: Aden Jowsey, et al.
Cyhoeddwyd: (2021-10-01)

The Breakdown Point — Examples and Counterexamples
gan: P.L. Davies, et al.
Cyhoeddwyd: (2007-03-01)

Dialectica Interpretation with Marked Counterexamples
gan: Trifon Trifonov
Cyhoeddwyd: (2011-01-01)

BMC Biology turns five
gan: Kowalczuk Maria, et al.
Cyhoeddwyd: (2008-12-01)

15 years of BMC Biology
gan: Christian Matheou, et al.
Cyhoeddwyd: (2018-11-01)

BMC Bioinformatics comes of age
gan: Cockerill Matthew J
Cyhoeddwyd: (2005-06-01)

High-level Counterexamples for Probabilistic Automata
gan: Ralf Wimmer, et al.
Cyhoeddwyd: (2015-03-01)

A counterexample to the coarse Menger conjecture
gan: Nguyen, T, et al.
Cyhoeddwyd: (2025)

A counterexample to a conjecture of Schwartz
gan: Brandt, F, et al.
Cyhoeddwyd: (2013)

A counterexample to a conjecture of Schwartz
gan: Brandt, F, et al.
Cyhoeddwyd: (2012)

Fifteen years of epidemiology in BMC Medicine
gan: Deborah A. Lawlor
Cyhoeddwyd: (2019-09-01)

A numerical study of Witsenhausen's Counterexample
gan: Romvary, Jordan (Jordan Joseph)
Cyhoeddwyd: (2015)