2 citations · 5 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 2 cited
Completely Automated Equivalence Proofs
Qi Zhou, David Heath, William Harris
Verifying partial (i.e., termination-insensitive) equivalence of programs has significant practical applications in software development and education. Conventional equivalence ver…
cs.LO2017
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions
Qi Zhou, David Heath, William Harris
Recursion-free Constrained Horn Clauses (CHCs) are logic-programming problems that can model safety properties of programs with bounded iteration and recursion. In addition, many C…