Verification

Languages and editors to specify the objectives of the migration to allow the evaluation of the migration and guide the forward engineering process.

Toolbox to compare the functional equivalence between original and migrated application at different levels of abstraction.