Towards Automated, Formal Verification of Model Transformations.

Márk Asztalos László Lengyel Tihamer Levendovszky

Published in: ICST (2010)

Keyphrases

formal verification
theoretical framework
formal model
probabilistic model
statistical model
experimental data
mathematical model