3 citations · 6 across the 8 of their papers we have counts for
1 paper · 1 filter
Zeinab Ganjei, Ahmed Rezine, Petru Eles +1
We address the problem of statically checking control state reachability (as in possibility of assertion violations, race conditions or runtime errors) and plain reachability (as i…