Institution-based foundations for verification in the context of model-driven engineering
Heterogeneous verification is needed in Model-Driven Engineering. The Theory of institutions can be used for the definition of a verification environment. Institutions can be translated into several semantic domains for a heterogeneous verification.
verification theory of institutions formal semantics mof qvt-relations