ICE: A Robust Framework for Learning Invariants
Abstract elided by the publisher.
Related papers
- Horn-ICE learning for synthesizing invariants and contracts OOPSLA 2018
- ICE-Based Refinement Type Discovery for Higher-Order Functional Programs TACAS 2018
- Learning Symmetric Invariants from Symmetric Samples OOPSLA 2026
- Toward Neural-Network-Guided Program Synthesis and Verification SAS 2021
- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes CAV 2022
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025
- Verification Modulo Tested Library Contracts PLDI 2026
- Complexity and information in invariant inference POPL 2020