On an equivalence checking technique for algebraic models of programs.

Rimma I. Podlovchenko

Published in: Program. Comput. Softw. (2011)

Keyphrases

statistical models
website
three dimensional
accurate models
genetic algorithm
artificial neural networks
probabilistic model
model selection
bayesian framework
computational models
metamodel