Login / Signup

Verification of Multiprocess Probabilistic Protocols.

Amir PnueliLenore D. Zuck
Published in: PODC (1984)
Keyphrases
  • model checking
  • cryptographic protocols
  • bayesian networks
  • probabilistic model
  • generative model
  • protocol specification
  • databases
  • website
  • peer to peer
  • formal verification
  • asynchronous circuits