Counterexample−guided Precondition Inference

Counterexample−guided Precondition Inference

Show other versions (1)

Bibliographic Details
Main Authors:	Seghir, M, Kroening, D
Format:	Conference item
Published:	2013

Similar Items

Counterexample-guided precondition inference
by: Seghir, M, et al.
Published: (2013)

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

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

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

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

Understanding Counterexamples with explain
by: Groce, A, et al.
Published: (2004)

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

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

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

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

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

Counterexamples in probability /
by: 411864 Stoyanov, Jordan M.
Published: (1997)

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

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

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

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

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

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

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

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

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

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

A counterexample to metric differentiability
by: Kirchheim, B, et al.
Published: (2003)

Examples and counterexamples in graph theory /
by: 400749 Capobianco, Michael
Published: (1978)

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

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

Properties and Counterexamples on Generalizations of Lindelof Spaces
by: Alfawakhreh, Anwar Jabor
Published: (2002)

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

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

On ACTL Formulas Having Linear Counterexamples
by: Buccafurri, F, et al.
Published: (2001)

A counterexample to a conjecture of Serre
by: Anick, David Jay
Published: (2007)

A counterexample to the coarse Menger conjecture
by: Nguyen, T, et al.
Published: (2025)

On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem
by: Lowe, G
Published: (2004)

Slopey quantizers are locally optimal for Witsenhausen's counterexample
by: Ajorlou, Amir, et al.
Published: (2017)

Preconditioning
by: Wathen, A
Published: (2015)

Embeddings between partially commutative groups: two counterexamples
by: Casals-Ruiz, M, et al.
Published: (2013)

Counterexample guided program repair using zero-shot learning and MaxSAT-based fault localization
by: Orvalho, P, et al.
Published: (2025)

Distributed network protocols for changing topologies : a counterexample
Published: (2003)

Faster FDR Counterexample Generation Using SAT−Solving
by: Palikareva, H, et al.
Published: (2009)

Geometry of Ricci-flat Kähler manifolds and some counterexamples
by: BoÅ¾in, Vladimir, 1973-
Published: (2006)