Verification Tool

Verification Tool

The PIACERE IDE includes, as part of its Verification Tool, a suite of useful static-analysis services to help you validate the architecture described in a DOML model. This is particularly useful to catch issues early within the model and save time down the line.  The...

PIACERE Verification Tool (VT)

The Verification Tool applies static analysis to both the abstract model and the related infrastructural code, to execute. Problem: It is sometimes difficult to identify incorrect models and code Solution: VT is a suite of static analysis and model checking tools...
DIGITAL TRANSFORMATION AND INTEROPERABILITY

DIGITAL TRANSFORMATION AND INTEROPERABILITY

Overall digitalisation of our business and everyday living environment, sharp increases in big data, the so-called “the Internet of Things” where a growing number of devices that surround us communicate among themselves, as well as alter business models present us...