Safety verification of phaser programs.

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng

Browse the full FMCAD paper archive.