Counterexample guided inductive synthesis modulo theories

DOI10.1007/978-3-319-96145-3_15zbMath1511.68064OpenAlexW2884958048MaRDI QIDQ6045008

Pascal Kesseli, Alessandro Abate, Daniel Kroening, Elizabeth Polgreen, Cristina David

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96145-3_15

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Satisfiability and synthesis modulo oracles ⋮ Machine learning and logic: a new frontier in artificial intelligence ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Synthesising programs with non-trivial constants ⋮ Counterexample-guided inductive synthesis for probabilistic systems ⋮ Automated and formal synthesis of neural barrier certificates for dynamical models

This page was built for publication: Counterexample guided inductive synthesis modulo theories