-
Notifications
You must be signed in to change notification settings - Fork 1
Home
Francesco Marconi edited this page Aug 13, 2016
·
10 revisions
Welcome to the DICE-Verification wiki!
The DICE Verification tool (D-VerT) allows the designers to specify the design of their data-intensive applications and to automatically run safety analysis on them exploiting formal verification techniques.
- Eclipse Neon
- Docker
In the Eclipse Menu bar, select Help -> Install New Software... and use http://dice-project.github.io/DICE-Verification/updates