Symbolic Protocol Verification With Queue BDDs.
Patrice GodefroidDavid E. LongPublished in: LICS (1996)
Keyphrases
- binary decision diagrams
- model checker
- model checking
- cryptographic protocols
- protocol specification
- formal analysis
- boolean functions
- lightweight
- formal verification
- formal proof
- heuristic search
- planning problems
- symbolic description
- timed automata
- communication protocols
- steady state
- hazard rate
- queue length
- temporal logic
- arrival rate
- neural network
- decision diagrams
- verification method
- colored petri nets
- loss probability
- queueing theory
- priority scheduling
- face verification
- communication protocol
- authentication protocol
- security protocols
- knowledge compilation
- petri net