Specification and Verification of Graph-Based Model Transformation Properties

DOI10.1007/978-3-319-09108-2_8zbMath1423.68291OpenAlexW45650314MaRDI QIDQ3192231

Bentley J. Oakes, Levi Lúcio, Gehan Mustafa Kamel Selim, James R. Cordy, Juergen Dingel

Publication date: 26 September 2014

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09108-2_8

zbMATH Keywords

verificationmodel transformationMDDproperty prover

Mathematics Subject Classification ID

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

Related Items (1)

A formal verification technique for behavioural model-to-model transformations

This page was built for publication: Specification and Verification of Graph-Based Model Transformation Properties