Rewriting Logic Semantics and Verification of Model Transformations.

Artur Boronat Reiko Heckel José Meseguer

Published in: FASE (2009)

Keyphrases

high level
conceptual model
programming language
probabilistic model
statistical model
data model
computational model
mathematical model
modal logic
formal semantics
verification method