Counterexample-guided precondition inference

Counterexample-guided precondition inference

Show other versions (1)

The precondition for an assertion inside a procedure is useful for understanding, verifying and debugging programs. As the procedure might be used in multiple calling-contexts within a program, the precondition should be sufficiently general to enable re-use. We present an extension of counterexampl...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Seghir, M, Kroening, D
Awduron Eraill:	Felleisen, M
Fformat:	Conference item
Cyhoeddwyd:	Springer 2013

Eitemau Tebyg

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

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

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)

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

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

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

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

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

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)

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

Counterexample-Guided Safety Contracts for Autonomous Driving
gan: DeCastro, Jonathan, et al.
Cyhoeddwyd: (2020)

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

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

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
gan: Janota, M, et al.
Cyhoeddwyd: (2010)

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

Counterexample guided inductive optimization based on satisfiability modulo theories
gan: Araújo, R, et al.
Cyhoeddwyd: (2017)

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)

OptCE: A counterexample-guided inductive optimization solver
gan: Albuquerque, H, et al.
Cyhoeddwyd: (2017)

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
gan: Makai Mann, et al.
Cyhoeddwyd: (2022-08-01)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
gan: Konstantin Chukharev, et al.
Cyhoeddwyd: (2020-01-01)

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

Necessary and Sufficient Preconditions via Eager Abstraction
gan: Seghir, M, et al.
Cyhoeddwyd: (2014)

Counterexample guided inductive optimization applied to mobile robots path planning
gan: Araújo, R, et al.
Cyhoeddwyd: (2017)

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)

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

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)

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

Counterexample computation in compositional nonblocking verification
gan: Malik, Robi, et al.
Cyhoeddwyd: (2018)