Verifying Channel Communication Correctness for a Multi-core Cooperatively Scheduled Runtime Using CSP

2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE)

Year: 2019, Pages: 65-74

Jan Bækgaard Pedersen, University of Nevada Las Vegas
Kevin Chalmers, Edinburgh Napier University