Formal verification techniques for model transformations specified by-demonstration.

Sebastian Gabmeyer

Published in: ASE (2012)

Keyphrases

formal verification
formal model
high level
probability distribution
mathematical model
probabilistic model
rough sets
neural network
social networks
reinforcement learning
theoretical analysis
computational model
software systems