2 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Étienne Payet, Fred Mesnard, Fausto Spoto
We introduce a fully automated static analysis that takes a sequential Java bytecode program P as input and attempts to prove that there exists an infinite execution of P. The tech…