-
Notifications
You must be signed in to change notification settings - Fork 1
Installation
Francesco Marconi edited this page Feb 13, 2017
·
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
Clone the DICE-Verification repository. From the d-vert-server directory, run the docker-compose up --build command to build the docker images and run the server application.