85 citations · 262 across the 21 of their papers we have counts for
1 paper · 1 filter
Pierre Ganty, Radu Iosif
We study programs with integer data, procedure calls and arbitrary call graphs. We show that, whenever the guards and updates are given by octagonal relations, the reachability pro…