Experience with formal methods in protocol development.
Deepinder P. SidhuAnthony ChungThomas P. BlumerPublished in: Comput. Commun. Rev. (1991)
Keyphrases
- formal methods
- formal analysis
- safety critical
- model checker
- knowledge based systems
- software engineering
- protocol specification
- development lifecycle
- security properties
- artificial intelligence
- model checking
- development process
- formal specification
- case study
- relational databases
- knowledge base
- process algebra
- database
- database systems
- information systems
- machine learning