Jan Bækgaard Pedersen, Kevin Chalmers. Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP. In Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi, editors, Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. pages 65-74, IEEE / ACM, 2019. [doi]
Abstract is missing.