https://arxiv.org/abs/2604.18792
[2604.18792] Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
Abstract page for arXiv paper 2604.18792: Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans