Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols.

Ansgar Fehnker Peng Gao

Published in: ADHOC-NOW (2006)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
probabilistic model
simulation model
bayesian networks
cryptographic protocols
mathematical model
temporal logic
uncertain data
conditional probabilities
specification language
communication protocol
program slicing