A Corrected Failure Divergence Model for CSP in Isabelle/HOL.

Haykal Tej Burkhart Wolff

Published in: FME (1997)

Keyphrases

computational model
statistical model
probabilistic model
theorem prover
theorem proving
genetic algorithm
high level
expert systems
input data
np complete
theoretical analysis
parameter estimation
theoretical framework
mathematical model