TY  - RPRT
TI  - CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
AU  - Mihály Dobos-Kovács
AU  - Levente Bajczi
AU  - András Vörös
PY  - 2025
DO  - 10.4204/eptcs.434.6
UR  - https://arxiv.org/abs/2510.26431
ID  - 2510.26431
ER  -