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