Login / Signup
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain.
Davide Basile
Felicita Di Giandomenico
Stefania Gnesi
Published in:
MODELSWARD (2017)
Keyphrases
</>
formal verification
prior knowledge
domain independent
domain models
learning algorithm
software engineering
software development
model selection
parameter estimation
experimental data
model checking
statistical models
test bed
conceptual models