Automated Formal Verification of Model Transformations Using the Invariants Mechanism.

Boris Ulitin Eduard Babkin Tatiana Babkina Arsenii Vizgunov

Published in: BIR (2019)

Keyphrases

mathematical model
computational model
formal verification
probabilistic model
statistical model
formal model
bayesian networks
management system
model checking
conceptual model
selection mechanism