Keynote: Challenges and triumphs of verification in the CSP style

Speaker: Bill Roscoe Emeritus professor, University of Oxford, GB

Thursday (!) May 23 2024, 14:00, Room 1Z56

Abstract: I have been doing practical verification in CSP, its tools and models for 40 years. The main challenge has been packaging this for the industrial engineer. I will discuss how this has been solved in the Coco System, which is used for object based development of massive systems in industry. Separately I will show how I have used it to underpin a highly innovative blockchain consensus protocol by using it to model decentralised, partly malevolent systems.