Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes

DOI10.1007/978-3-031-13185-1_14MaRDI QIDQ6487320zbMATH OpenFDO

Authors Ahmed Bouajjani, Peter Habermehl

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-13185-1_14

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Data-Driven Invariant Learning for Probabilistic Programs
• Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
• Invariant Synthesis for Combined Theories
• A data driven approach for algebraic loop invariants
• A learning-based approach to synthesizing invariants for incomplete verification engines

Cites work

• scientific article; zbMATH DE number 1693447 (Why is no real title available?)
• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• Code2Inv: a deep learning framework for program verification
• Computer Aided Verification
• Counterexample-guided abstraction refinement for symbolic model checking
• Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes
• Generalized property directed reachability
• HoIce: an ICE-based non-linear Horn clause solver
• IC3 -- flipping the E in ICE
• Overfitting in synthesis: theory and practice
• SAT-Based Model Checking without Unrolling
• The Daikon system for dynamic detection of likely invariants
• The octagon abstract domain

Cited in

(1)

• Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes

This page was built for publication: Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487320)