Verification of Multiprocess Probabilistic Protocols.

Amir Pnueli Lenore D. Zuck

Published in: Distributed Comput. (1986)

Keyphrases

cryptographic protocols
generative model
formal verification
probabilistic model
model checking
probabilistic reasoning
information systems
hidden markov models
probabilistic logic
probabilistic approaches
database
verification method
distributed databases
database systems
case study
decision trees
real time