Verification Environment for Critical Systems (VECS)

header_vecsVECS is an Eclipse-based specification framework for the analysis of software-intensive systems. It includes an implementation of the SAML language and model transformations to verification engines like NuSMV and PRISM. Currently, connectors to high-level Software Engineering tools (like Rhapsody or Enterprise Architect) are being developed.

Last Modification: 10.11.2023 - Contact Person: Webmaster