Prof. Dr. Holger Giese

VOLT 2013

2nd International Workshop on the Verification Of modeL Transformation, colocated with STAF, Budapest

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 Second International Workshop on the Verification Of modeL Transformation (VOLT 2013) 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.