Invited talk at VOLT 2013 workshop

Dániel Varró gave an invited talk at VOLT 2013 (Verification of Model Transformations) workshop, a satellite event of the STAF 2013 international conference on "Verification and validation challenges for models, queries and transformations in design tools for avionics".

The talk summarized recent research results of the group on the validation of modeling languages and well-formedness constraints, soft traceability links and design space exploration.