The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by the community that methods for exhaustively verifying such transformations provide an important pillar for achieving a stronger adoption of model-driven development in industry.
['Bentley James Oakes', 'Javier Troya', 'Levi Lucio', 'Manuel Wimmer']
Fully verifying transformation contracts for declarative ATL