A VDM model checker for Model Definition 4.0.0 API

Packages

Package	Description
org.intocps.fmichecker
org.intocps.fmichecker.quotes
org.intocps.maestro.modeldefinitionchecker