-
Notifications
You must be signed in to change notification settings - Fork 1
Installation
Francesco Marconi edited this page Mar 22, 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.
The client component is already installed in the DICE IDE, therefore no installation step is required.
On an Eclipse Neon instance with Papyrus installed, from the menu bar, select Help -> Install New Software... and use http://dice-project.github.io/DICE-Verification/updates to install the DICE-Verification plugin.
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.