Design Model Repair with Formal Verification.

Chenghao Cai Jing Sun Gillian Dobbie

Published in: ICFEM (2019)

Keyphrases

formal verification
conceptual model
computational model
formal model
mathematical model
high level
metamodel
probability distribution
design process
experimental data
probabilistic model
statistical model
conceptual framework