Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq.

Iman Poernomo Jeffrey Terrell

Published in: ICFEM (2010)

Keyphrases

partially ordered
computational model
probabilistic model
statistical model
high level
objective function
formal model
data sets
genetic algorithm
social networks
knowledge base
prior knowledge
process model
finite state machines