Model transformations are everywhere in software development, implicitly or explicitly. They became first-class citizens with the advent of MDD. Despite some recent activity in the field, the work on the verification of model transformations remains scattered and a clear perspective on the subject is still not in sight. Furthermore, current model transformation tools lack verification techniques to support such activities.
The Fifth International Workshop on the Verification Of modeL Transformation (VOLT 2016) is one of the most accurate venues to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations. VOLT 2016 promotes discussions between theoreticians and practitioners from academy and industry, given its ideal co-location with MoDELS.
Forschungs-