Towards Verifying Model Transformations
From MaRDI portal
Publication:5404179
DOI10.1016/j.entcs.2008.04.041zbMath1283.68210OpenAlexW1977283758MaRDI QIDQ5404179
Anantha Narayanan, Gabor Karsai
Publication date: 21 March 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.041
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (4)
A framework for model transformation verification ⋮ Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts ⋮ Behavior-Preserving Simulation-to-Animation Model and Rule Transformations ⋮ A formal verification technique for behavioural model-to-model transformations
Uses Software
Cites Work
This page was built for publication: Towards Verifying Model Transformations