Core VVML: analysing the Verification & Validation Modelling Language

This project attempts to formalise and to reason formally over correctness of workflows described using the Verification & Validation Modelling Language (VVML), developed within the European VALU3S project. The (informal) guidelines can be found online:

• https://valu3s.eu/wp-content/uploads/2023/05/VALU3S-VVML-Handbook-v2.9-Final.pdf

This tool is an interactive JavaScript-based webpage. A snapshot can be executed directly from the browser here:

• https://cister-labs.github.io/coreVVML/