Compositionality and correctness of fault tolerant patterns in HOL4.

Diego Machado Dias Juliano Iyoda

Published in: Sci. Comput. Program. (2014)

Keyphrases

fault tolerant
fault tolerance
distributed systems
state machine
load balancing
higher order
data mining techniques
high availability
safety critical
frequent patterns
belief propagation
theorem prover
high assurance