7 citations · 10 across the 7 of their papers we have counts for
1 paper · 2 filters
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…