- 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
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|