Construction of protocol converters using formal methods.
Mohammad PeyravianChin-Tau A. LeaPublished in: Comput. Commun. (1993)
Keyphrases
- formal methods
- model checker
- formal analysis
- protocol specification
- security properties
- model checking
- formal specification
- knowledge based systems
- safety critical
- process algebra
- provably correct
- software engineering
- artificial intelligence
- modeling language
- development lifecycle
- communication protocol
- communication protocols
- web services
- case study
- test suite
- fine grained