Generating Model Checkers from Algebraic Specifications.

Teodor Rus Eric Van Wyk Tom Halverson

Published in: Formal Methods Syst. Des. (2002)

Keyphrases

probabilistic model
experimental data
network model
linear model
high level
sensitivity analysis
database
computational model
statistical model
search engine
video sequences
probability distribution
higher order
input data
conceptual model
metamodel