Zhiqiang Zuo 0002, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li. Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. In George Candea, Robbert van Renesse, Christof Fetzer, editors, Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019. ACM, 2019. [doi]
Abstract is missing.