Probabilistic Horn Clause Verification
Abstract elided by the publisher.
Related papers
- Relational Verification Through Horn Clause Transformation SAS 2016
- Tree Automata-Based Refinement with Application to Horn Clause Verification VMCAI 2015
- Korn - Software Verification with Horn Clauses (Competition Contribution) TACAS 2023
- Program Verification with Constrained Horn Clauses (Invited Paper) CAV 2022
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Higher-order constrained horn clauses for verification POPL 2018
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- Automating Induction for Solving Horn Clauses CAV 2017