King's College London

Research portal

Report on the third workshop on verification of model transformations (VOLT 2014)

Research output: Chapter in Book/Report/Conference proceedingChapter

Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano

Original languageEnglish
Title of host publicationCEUR Workshop Proceedings
Number of pages9
Publication statusPublished - 2014
Event3rd International Workshop on Verification of Model Transformations, VOLT 2014 - York, United Kingdom
Duration: 21 Jul 201421 Jul 2014


Conference3rd International Workshop on Verification of Model Transformations, VOLT 2014
CountryUnited Kingdom


King's Authors


This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirements for model transformation verification as well as to present different proposals supporting different kinds of model transformations and verification techniques.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454