Learning Universally Quantified Invariants of Linear Data Structures

9 February 2013

Papers citing "Learning Universally Quantified Invariants of Linear Data Structures"

4 / 4 papers shown

Title
Data-driven Verification of Procedural Programs with Integer Arrays Ahmed Bouajjani Wael-Amine Boutglay Peter Habermehl 13 0 0 21 May 2025
Leveraging Large Language Models for Automated Proof Synthesis in Rust Jianan Yao Ziqiao Zhou Weiteng Chen Weidong Cui 22 15 0 07 Nov 2023
Horn-ICE Learning for Synthesizing Invariants and Contracts D. D'Souza P. Ezudheen P. Garg P. Madhusudan Daniel Neider 53 59 0 26 Dec 2017
Invariant Synthesis for Incomplete Verification Engines Daniel Neider P. Garg P. Madhusudan Shambwaditya Saha D. Park 51 11 0 15 Dec 2017