Parallel refinement for multi-threaded program verification

Liangze Yin, Wei Dong 0006, Wanwei Liu, Ji Wang 0001. Parallel refinement for multi-threaded program verification. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 643-653, IEEE / ACM, 2019. [doi]

Abstract

Abstract is missing.