The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model.

Patrick Lincoln John M. Rushby

Published in: CAV (1993)

Keyphrases

dynamic programming
objective function
formal verification
detection algorithm
learning algorithm
optimal solution
k means
search space
simulated annealing