Formal Model Validation Through Acceptance Tests.

Tomas Fischer Dana Dghaym

Published in: RSSRail (2019)

Keyphrases

model validation
neural network
formal model
data sets
test cases
formal analysis
flank wear
databases
information retrieval
decision trees
formal specification
test suite
operational semantics
formal representation