PIACERE Verification Tool (VT)

by | Jul 6, 2023 | Sin categoría

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...