Towards Verifying Model Transformations

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

zbMATH Keywords

verificationbisimulationgraph transformation

Mathematics Subject Classification ID

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

• PROGRES
• SPIN
• Fujaba
• CheckVML

Cites Work

• Statecharts: a visual formalism for complex systems
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards Verifying Model Transformations