Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking

DOI10.1007/978-3-642-33654-6_17zbMath1367.68191OpenAlexW200511348MaRDI QIDQ2918986

Leen Lambers, Holger Giese

Publication date: 2 October 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33654-6_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (2)

Inductive Invariant Checking with Partial Negative Application Conditions ⋮ A formal verification technique for behavioural model-to-model transformations

Uses Software

• Alloy

This page was built for publication: Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking