Formal hardware specification languages for protocol compliance verification.
Annette BunkerGanesh GopalakrishnanSally A. McKeePublished in: ACM Trans. Design Autom. Electr. Syst. (2004)
Keyphrases
- specification languages
- formal specification
- protocol specification
- model checker
- model checking
- formal methods
- object oriented programs
- formal analysis
- low cost
- cryptographic protocols
- real time
- hardware and software
- computer systems
- reverse engineering
- hardware designs
- formal verification
- hardware implementation
- communication protocols
- first order logic
- lightweight
- tcp ip
- software components
- access control
- cooperative
- multi agent
- machine learning
- database