Verification Environment for Critical Systems (VECS)
VECS 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.