Christina Peterson, Damian Dechev. Formal Verification through Combinatorial Topology: the CAS-Extended Model. In Quan Chen 0002, Zhiyi Huang 0001, Min-Si, editors, Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM@PPoPP 2019, Washington, DC, USA, February 17, 2019. pages 61-70, ACM, 2019. [doi]
Abstract is missing.