Home

DICE-Verification Tool (D-VerT)

Welcome to the DICE-Verification wiki!

Index

• Introduction
• Prerequisites
• Installation
  • Client
  • Server
• Getting Started
• Change Log
• Troubleshooting

Introduction

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. The tool is part of the DICE IDE.

Contacts

If you notice a bug, want to request a feature, or have a question or feedback, please send an email to the tool maintainer:

• Francesco Marconi, Politecnico di Milano: francesco.marconi AT polimi.it