Ecdar-ProtoBuf

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.