System Validation in Promela Aims To model & validate high-level prototypes of software used to implement communicating systems. To become familiar with a computer-aided tool for the specification and verification of communicating systems.