Making the most of BMC counterexamples

Making the most of BMC counterexamples

他のバージョン（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...

書誌詳細
主要な著者:	Groce, A, Kroening, D
フォーマット:	Journal article
出版事項:	Elsevier 2005

類似資料

Making the Most of BMC Counterexamples
著者:: Groce, A, 等
出版事項: (2005)

Understanding Counterexamples with explain
著者:: Groce, A, 等
出版事項: (2004)

Counterexample Guided Abstraction Refinement via Program Execution
著者:: Groce, A, 等
出版事項: (2004)

Counterexample−guided Precondition Inference
著者:: Seghir, M, 等
出版事項: (2013)

Counterexample-guided precondition inference
著者:: Seghir, M, 等
出版事項: (2013)

Counterexamples with Loops for Predicate Abstraction
著者:: Kroening, D, 等
出版事項: (2006)

Counterexample-guided abstraction refinement for symmetric concurrent programs
著者:: Donaldson, A, 等
出版事項: (2012)

Counterexample guided inductive synthesis modulo theories
著者:: Abate, A, 等
出版事項: (2018)

DSValidator: an automated counterexample reproducibility tool for digital systems
著者:: Chaves, L, 等
出版事項: (2018)

VCEGAR: Verilog CounterExample Guided Abstraction Refinement
著者:: Jain, H, 等
出版事項: (2007)

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)

Successful use of incremental BMC in the automotive industry
著者:: Schrammel, P, 等
出版事項: (2015)

Counterexamples in probability /
著者:: 411864 Stoyanov, Jordan M.
出版事項: (1997)

Counterexamples in topology /
著者:: Steen, Lynn Arthur, 1941-, 等
出版事項: (1978)

Counterexamples in analysis /
著者:: 201017 Gelbaum, Bernard R., 等
出版事項: (1964)

BMC preface.
著者:: Davis, B
出版事項: (2013)

On counterexamples to the Hughes conjecture
著者:: Havas, G, 等
出版事項: (2009)

Theorems and counterexamples in mathemamatics /
著者:: 201017 Gelbaum, Bernard R., 等
出版事項: (1990)

Counterexamples in self-testing
著者:: Laura Mančinska, 等
出版事項: (2023-07-01)

BMC Rheumatology: a home for all rheumatology research within the BMC Series
著者:: James Mockridge, 等
出版事項: (2017-11-01)

2024 joint BMC Ecology and Evolution and BMC Zoology image competition: the winning images
著者:: Jennifer Harman, 等
出版事項: (2024-08-01)

A counterexample to metric differentiability
著者:: Kirchheim, B, 等
出版事項: (2003)

Examples and counterexamples in graph theory /
著者:: 400749 Capobianco, Michael
出版事項: (1978)

Minimum counterexamples in group theory /
著者:: 357122 Sheila Ilangovan, 等
出版事項: (2004)

Minimum counterexamples in group theory /
著者:: 615523 Nor Haniza Sarmin, 等
出版事項: (2004)

Counterexamples for your calculus course
著者:: Jürgen Appell, 等
出版事項: (2025-06-01)

An Examination of Counterexamples in Proofs and Refutations
著者:: Samet Bağçe, 等
出版事項: (2009-10-01)

Counterexamples to the Maximum Force Conjecture
著者:: Aden Jowsey, 等
出版事項: (2021-10-01)

The Breakdown Point — Examples and Counterexamples
著者:: P.L. Davies, 等
出版事項: (2007-03-01)

Dialectica Interpretation with Marked Counterexamples
著者:: Trifon Trifonov
出版事項: (2011-01-01)

BMC Biology turns five
著者:: Kowalczuk Maria, 等
出版事項: (2008-12-01)

15 years of BMC Biology
著者:: Christian Matheou, 等
出版事項: (2018-11-01)

BMC Bioinformatics comes of age
著者:: Cockerill Matthew J
出版事項: (2005-06-01)

High-level Counterexamples for Probabilistic Automata
著者:: Ralf Wimmer, 等
出版事項: (2015-03-01)

A counterexample to the coarse Menger conjecture
著者:: Nguyen, T, 等
出版事項: (2025)

A counterexample to a conjecture of Schwartz
著者:: Brandt, F, 等
出版事項: (2013)

A counterexample to a conjecture of Schwartz
著者:: Brandt, F, 等
出版事項: (2012)

Fifteen years of epidemiology in BMC Medicine
著者:: Deborah A. Lawlor
出版事項: (2019-09-01)

A numerical study of Witsenhausen's Counterexample
著者:: Romvary, Jordan (Jordan Joseph)
出版事項: (2015)