Automated Verification of Communication Protocols Using CCS and BDDs.
Reiner LichteneckerKlaus GotthardtJanusz ZalewskiPublished in: IPPS/SPDP Workshops (1998)
Keyphrases
- communication protocols
- automated verification
- model checking
- binary decision diagrams
- automated reasoning
- formal verification
- heuristic search
- temporal logic
- knowledge compilation
- communication networks
- communication protocol
- graph theory
- formal specification
- protocol stack
- boolean functions
- artificial intelligence
- protocol specification