Paper Details

Communicating Process Architectures (CPA)
 Title: Verifying the CPA Networking Stack using SPIN/Promela
 Conference: Communicating Process Architectures 2013
 Authors: Kevin Chalmers, Jon Kerridge
School of Computing, Edinburgh Napier University
 Abstract: This paper presents a verification of the CPA Networking Stack, using the SPIN Model Checker. Our work shows that the system developed for general networking within CPA applications works under the conditions defined for it. The model itself focuses on ensuring deadlock freedom, and work still needs to be undertaken to verify expected behaviour of the architecture. 

BibTeX Entry

Full paper