-
Notifications
You must be signed in to change notification settings - Fork 1
Installation
Francesco Marconi edited this page Aug 31, 2016
·
7 revisions
D-VerT has a Client-Server architecture: the client consists is distributed distributed as Eclipse plugin, while the server can be installed as a multi-container Docker application.
In the Eclipse Menu bar, select Help -> Install New Software... and use http://dice-project.github.io/DICE-Verification/updates
Get the docker-compose.yml from here or clone the DICE-Verification repository. From the directory same directory of the file, run the docker-compose up command to fetch the docker images and run the server application.