3 citations · 4 across the 4 of their papers we have counts for
1 paper · 2 filters
Levente Bajczi, Milán Mondok, Vince Molnár
Theta is a verification framework that has participated in the CHC-COMP competition since 2023. While its core approach -- based on transforming constrained Horn clauses (CHCs) int…