This repository is used to organize and maintain the Protocol Buffers used across the ECDAR modules. The messages are used to communicate between the Ecdar-GUI and the two back-end model checks: REVEAAL and J-ECDAR.
Ecdar/Ecdar-ProtoBuf
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|