DICE verification tools - Final version

This deliverable is the implementation (with an accompanying document) of the verification tool to evaluate safety of data-intensive applications, as developed in T3.3. Besides releasing code, it will feature a report documenting the implementation.