Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.
Bernhard K. AichernigBernhard PeischlMartin WeiglhoferFranz WotawaPublished in: SEFM (2007)
Keyphrases
- industrial applications
- formal methods
- protocol specification
- model checker
- formal analysis
- formal specification
- development lifecycle
- product configuration
- safety critical
- communication protocols
- industrial systems
- knowledge based systems
- process algebra
- security properties
- artificial intelligence
- model checking
- modeling language
- test cases
- formal verification
- software engineering
- decision support
- relational databases
- expert systems
- machine learning
- session initiation protocol
- formal specification language
- authentication and key agreement