6 citations · 9 across the 6 of their papers we have counts for
1 paper · 2 filters
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…