Counterexample-guided precondition inference

Counterexample-guided precondition inference

Показать другие версии (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...

Полное описание

Библиографические подробности
Главные авторы:	Seghir, M, Kroening, D
Другие авторы:	Felleisen, M
Формат:	Conference item
Опубликовано:	Springer 2013

Схожие документы

Counterexample−guided Precondition Inference
по: Seghir, M, и др.
Опубликовано: (2013)

Counterexample Guided Abstraction Refinement via Program Execution
по: Groce, A, и др.
Опубликовано: (2004)

Counterexample-guided abstraction refinement for symmetric concurrent programs
по: Donaldson, A, и др.
Опубликовано: (2012)

Counterexample guided inductive synthesis modulo theories
по: Abate, A, и др.
Опубликовано: (2018)

VCEGAR: Verilog CounterExample Guided Abstraction Refinement
по: Jain, H, и др.
Опубликовано: (2007)

Understanding Counterexamples with explain
по: Groce, A, и др.
Опубликовано: (2004)

Making the most of BMC counterexamples
по: Groce, A, и др.
Опубликовано: (2005)

Making the Most of BMC Counterexamples
по: Groce, A, и др.
Опубликовано: (2005)

Counterexamples with Loops for Predicate Abstraction
по: Kroening, D, и др.
Опубликовано: (2006)

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)

DSValidator: an automated counterexample reproducibility tool for digital systems
по: Chaves, L, и др.
Опубликовано: (2018)

Counterexample-Guided Safety Contracts for Autonomous Driving
по: DeCastro, Jonathan, и др.
Опубликовано: (2020)

Counterexamples in probability /
по: 411864 Stoyanov, Jordan M.
Опубликовано: (1997)

Counterexamples in analysis /
по: 201017 Gelbaum, Bernard R., и др.
Опубликовано: (1964)

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
по: Janota, M, и др.
Опубликовано: (2010)

Counterexamples in topology /
по: Steen, Lynn Arthur, 1941-, и др.
Опубликовано: (1978)

Counterexample guided inductive optimization based on satisfiability modulo theories
по: Araújo, R, и др.
Опубликовано: (2017)

On counterexamples to the Hughes conjecture
по: Havas, G, и др.
Опубликовано: (2009)

Theorems and counterexamples in mathemamatics /
по: 201017 Gelbaum, Bernard R., и др.
Опубликовано: (1990)

OptCE: A counterexample-guided inductive optimization solver
по: Albuquerque, H, и др.
Опубликовано: (2017)

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
по: Makai Mann, и др.
Опубликовано: (2022-08-01)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
по: Konstantin Chukharev, и др.
Опубликовано: (2020-01-01)

Counterexamples in self-testing
по: Laura Mančinska, и др.
Опубликовано: (2023-07-01)

Necessary and Sufficient Preconditions via Eager Abstraction
по: Seghir, M, и др.
Опубликовано: (2014)

Counterexample guided inductive optimization applied to mobile robots path planning
по: Araújo, R, и др.
Опубликовано: (2017)

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)

High-level Counterexamples for Probabilistic Automata
по: Ralf Wimmer, и др.
Опубликовано: (2015-03-01)

A counterexample to a conjecture of Schwartz
по: Brandt, F, и др.
Опубликовано: (2013)

A counterexample to a conjecture of Schwartz
по: Brandt, F, и др.
Опубликовано: (2012)

A numerical study of Witsenhausen's Counterexample
по: Romvary, Jordan (Jordan Joseph)
Опубликовано: (2015)

Counterexample computation in compositional nonblocking verification
по: Malik, Robi, и др.
Опубликовано: (2018)