Experience with Applying Formal Methods to Protocol Specification and System Architecture.
Mani AzimiChing-Tsun ChouAkhilesh KumarVictor W. LeePhanindra K. MannavaSeungjoon ParkPublished in: Formal Methods Syst. Des. (2003)
Keyphrases
- formal methods
- protocol specification
- communication protocols
- formal analysis
- reactive systems
- model checking
- formal specification
- safety critical
- artificial intelligence
- knowledge based systems
- software engineering
- process algebra
- management system
- software architecture
- modeling language
- database management systems