Dice-verification

Verification tool for the DICE H2020 project.

View on GitHub Download .zip Download .tar.gz

Publications

ICFEM 2016 - "Towards the Formal Verification of Data Intensive Application through Metric Temporal Logic" - Experimental results

Dice-verification is maintained by dice-project. This page was generated by GitHub Pages using the Cayman theme by Jason Long.