Modelling and Verification of Communicating Systems Software

This is a simple project related to dependable systems. It concerns modelling and validation of high-level prototypes of software used to implement communicating systems. Computer-aided tools (S p i n and P R O M E L A - a PROcess MEta LAnguage) have to be used for the specification and verification of a simple communicating system. Deadline: The Project must be completed up to 24th of November 2010. For more information see the attached file.