The VIATRA (VIsual Automated model TRAnsformations) framework is the core of a transformation-based
verification and validation environment for improving the quality of systems designed
using the Unified Modeling Language by automatically checking consistency, completeness,
and dependability requirements. In the current paper, we present an overview of (i)
the major design goals and decisions, (ii) the underlying formal methodology based
on metamodeling and graph transformation (iii) the software architecture based upon
the XMI standard, (iv) and several benchmark applications of the VIATRA framework.