- 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.
alex-rantos / system-validation Goto Github PK
View Code? Open in Web Editor NEWA system validation model written in Promela