1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2025
Data-driven Verification of Procedural Programs with Integer Arrays
Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl
We address the problem of verifying automatically procedural programs manipulating parametric-size arrays of integers, encoded as a constrained Horn clauses solving problem. We pro…
cs.PL2022★ 1 cited
Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes
Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl
We propose a data-driven algorithm for numerical invariant synthesis and verification. The algorithm is based on the ICE-DT schema for learning decision trees from samples of posit…