collaborators

1 paper

cs.SE2026

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans

Levi Lucio

Model transformations are central to MDE, but formal verification is difficult because mainstream transformation languages are undecidable. DSLTrans was designed to be Turing-incom…