1 paper
Anzhela Sukhanova, Valentyn Sobol
Many advanced program analysis and verification methods are based on solving systems of Constrained Horn Clauses (CHC). Testing CHC solvers is very important, as correctness of the…