Safety verification of phaser programs

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng. Safety verification of phaser programs. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 68-75, IEEE, 2017. [doi]

Abstract

Abstract is missing.