TY  - RPRT
TI  - Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
AU  - Márk Somorjai
AU  - Mihály Dobos-Kovács
AU  - Zsófia Ádám
AU  - Levente Bajczi
AU  - András Vörös
PY  - 2024
DO  - 10.4204/eptcs.402.11
UR  - https://arxiv.org/abs/2404.15215
ID  - 2404.15215
ER  -