1 paper
Zafer Esen, Philipp Rümmer
Constrained Horn Clauses (CHCs) are an intermediate program representation that can be generated by several verification tools, and that can be processed and solved by a number of…