1 paper · 1 filter
Mihály Dobos-Kovács, Levente Bajczi, András Vörös
Constrained Horn Clauses (CHCs) are widely adopted as intermediate representations for a variety of verification tasks, including safety checking, invariant synthesis, and interpro…