Counterexample guided inductive optimization based on satisfiability modulo theories

Counterexample guided inductive optimization based on satisfiability modulo theories

This paper describes three variants of a counterexample guided inductive optimization (CEGIO) approach based on Satisfiability Modulo Theories (SMT) solvers. In particular, CEGIO relies on iterative executions to constrain a verification procedure, in order to perform inductive generalization, based...

Full description

Bibliographic Details
Main Authors:	Araújo, R, Albuquerque, H, Bessa, d, Cordeiro, L, Chaves Filho, J
Format:	Journal article
Published:	Elsevier 2017

Similar Items

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

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)

Inductive logic programming as satisfiability modulo theories
by: Morel, R
Published: (2023)

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

A framework for Satisfiability Modulo Theories.
by: Kroening, D, et al.
Published: (2009)

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

Control design of discrete-time unicycle model using satisfiability modulo theory
by: Dieky Adzkiya, et al.
Published: (2024-12-01)

Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications
by: Dario Guidotti, et al.
Published: (2023-07-01)

Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
by: Alberto Griggio, et al.
Published: (2012-08-01)

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

Counterexample−guided Precondition Inference
by: Seghir, M, et al.
Published: (2013)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Few Examples and Counterexamples in Spectral Graph Theory
by: Stevanović Dragan, et al.
Published: (2020-05-01)

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

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

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)

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

Scale and conformal invariance in field theory: A physical counterexample
by: Riva, V, et al.
Published: (2005)

A Counterexample to the Theory that Vision Recovers Three-Dimensional Scenes
by: Marill, Thomas
Published: (2008)

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

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

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

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

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

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