Relational Verification Through Horn Clause Transformation
Abstract elided by the publisher.
Related papers
- Program Verification with Constrained Horn Clauses (Invited Paper) CAV 2022
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi SAS 2002
- Automating Induction for Solving Horn Clauses CAV 2017
- Probabilistic Horn Clause Verification SAS 2017
- Tree Automata-Based Refinement with Application to Horn Clause Verification VMCAI 2015
- Korn - Software Verification with Horn Clauses (Competition Contribution) TACAS 2023