HoIce: An ICE-Based Non-linear Horn Clause Solver
Abstract elided by the publisher.
Related papers
- Horn-ICE learning for synthesizing invariants and contracts OOPSLA 2018
- Automating Induction for Solving Horn Clauses CAV 2017
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- The Golem Horn Solver CAV 2023
- Korn - Software Verification with Horn Clauses (Competition Contribution) TACAS 2023
- Program Verification with Constrained Horn Clauses (Invited Paper) CAV 2022
- Maximizing Branch Coverage with Constrained Horn Clauses TACAS 2022
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025