Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
Abstract elided by the publisher.
Related papers
- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes CAV 2022
- Data-driven precondition inference with learned features PLDI 2016
- Data-Driven Invariant Learning for Probabilistic Programs CAV 2022
- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems TACAS 2023
- When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic POPL 2023
- A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis TOPLAS 2019
- Abstract conflict driven learning POPL 2013
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025