4 citations · 4 across the 1 of their papers we have counts for
1 paper
Márk Somorjai, Mihály Dobos-Kovács, Zsófia Ádám +2
Constrained Horn Clauses (CHCs) have conventionally been used as a low-level representation in formal verification. Most existing solvers use a diverse set of specialized technique…