4 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Yoav Alon, Cristina David
Determining whether a program terminates is a core challenge in program analysis with direct implications for correctness, verification, and security. We investigate whether transf…