4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2025
CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
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…
cs.LO2024★ 4 cited
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
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…