VyrdMC: Driving Runtime Refinement Checking with Model Checkers.

Tayfun Elmas Serdar Tasiran

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

cost function
hybrid model
simulation model
objective function
mathematical model
theoretical framework
neural network
formal model
data sets
management system
probabilistic model
expert systems
closed form
similarity measure
genetic algorithm
prediction model
linear model