Symbolic Protocol Verification with Queue BDDs.
Patrice GodefroidDavid E. LongPublished in: Formal Methods Syst. Des. (1999)
Keyphrases
- binary decision diagrams
- model checker
- model checking
- cryptographic protocols
- protocol specification
- formal analysis
- timed automata
- formal verification
- boolean functions
- formal proof
- heuristic search
- steady state
- network protocols
- lightweight
- colored petri nets
- knowledge compilation
- arrival rate
- queue length
- planning problems
- loss probability
- hazard rate
- heavy traffic
- communication protocols
- communication protocol
- symbolic representation
- temporal logic
- smart card
- petri net
- optimal policy