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...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Seghir, M, Kroening, D
Andre forfattere:	Felleisen, M
Format:	Conference item
Udgivet:	Springer 2013

Lignende værker

Counterexample−guided Precondition Inference
af: Seghir, M, et al.
Udgivet: (2013)

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

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

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

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

Understanding Counterexamples with explain
af: Groce, A, et al.
Udgivet: (2004)

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

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

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

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

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

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

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

Counterexamples in probability /
af: 411864 Stoyanov, Jordan M.
Udgivet: (1997)

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

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

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

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

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

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

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

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

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

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

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

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

A counterexample to metric differentiability
af: Kirchheim, B, et al.
Udgivet: (2003)

Examples and counterexamples in graph theory /
af: 400749 Capobianco, Michael
Udgivet: (1978)

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

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

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

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

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

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

Dialectica Interpretation with Marked Counterexamples
af: Trifon Trifonov
Udgivet: (2011-01-01)

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

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

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

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

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