Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification.

Sun, 01 Jan 2023 00:00:00 +0100

Márk Somorjai, Mihály Dobos-Kovács , Zsófia Ádám, Levente Bajczi, András Vörös:
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification. LSFA/HCVS 2023: 105-117