3 citations · 6 across the 8 of their papers we have counts for
1 paper · 1 filter
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio +2
We address the problem of statically checking safety properties (such as assertions or deadlocks) for parameterized phaser programs. Phasers embody a non-trivial and modern synchro…