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 aiming at supporting verification of correctness, safety, performance and data transfer privacy of all application components

• Value:

The main advantages of VT translate into the safety, performance, and privacy properties related to the exchange of data

In this video we can see how it is applied static analysis to both the abstract model and the related infrastructural code, to execute. It is sometimes difficult to identify incorrect models and code. VT is a suite of static analysis and model checking tools aiming at supporting verification of correctness, safety, performance and data transfer privacy of all application components. The main advantages of VT translate into the safety, performance, and privacy properties related to the exchange of data.