Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution)
Abstract elided by the publisher.
Related papers
- JayHorn: A Java Model Checker - (Competition Contribution) TACAS 2019
- HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution) TACAS 2012
- Korn - Software Verification with Horn Clauses (Competition Contribution) TACAS 2023
- The Golem Horn Solver CAV 2023
- Towards String Support in JayHorn (Competition Contribution) TACAS 2021
- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses SAS 2023
- Solving Constrained Horn Clauses over Algebraic Data Types VMCAI 2023
- Argument Reduction of Constrained Horn Clauses Using Equality Constraints APLAS 2023