Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.

Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li

Browse the full EuroSys paper archive.