application validation and verification

The overall approach of MegaM@Rt2 is to scale up the use of model-based techniques by offering proper methods and related tooling interacting between both design time and runtime...