Solving Constrained Horn Clauses as C Programs with CHC2C.

Mon, 01 Jan 2024 00:00:00 +0100

Levente Bajczi , Vince Molnár :
Solving Constrained Horn Clauses as C Programs with CHC2C. SPIN 2024: 146-163