Counterexample-guided precondition inference

Counterexample-guided precondition inference

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Seghir, M, Kroening, D
Rannpháirtithe:	Felleisen, M
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer 2013

Míreanna comhchosúla

Counterexample−guided Precondition Inference
de réir: Seghir, M, et al.
Foilsithe / Cruthaithe: (2013)

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

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)

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

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

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

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

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

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)

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

Counterexample-Guided Safety Contracts for Autonomous Driving
de réir: DeCastro, Jonathan, et al.
Foilsithe / Cruthaithe: (2020)

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

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

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
de réir: Janota, M, et al.
Foilsithe / Cruthaithe: (2010)

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

Counterexample guided inductive optimization based on satisfiability modulo theories
de réir: Araújo, R, et al.
Foilsithe / Cruthaithe: (2017)

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)

OptCE: A counterexample-guided inductive optimization solver
de réir: Albuquerque, H, et al.
Foilsithe / Cruthaithe: (2017)

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
de réir: Makai Mann, et al.
Foilsithe / Cruthaithe: (2022-08-01)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
de réir: Konstantin Chukharev, et al.
Foilsithe / Cruthaithe: (2020-01-01)

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

Necessary and Sufficient Preconditions via Eager Abstraction
de réir: Seghir, M, et al.
Foilsithe / Cruthaithe: (2014)

Counterexample guided inductive optimization applied to mobile robots path planning
de réir: Araújo, R, et al.
Foilsithe / Cruthaithe: (2017)

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)

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

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)

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

Counterexample computation in compositional nonblocking verification
de réir: Malik, Robi, et al.
Foilsithe / Cruthaithe: (2018)