Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.
Milica BarjaktarovicShiu-Kai ChinKamal JabbourPublished in: ISSTA (1996)
Keyphrases
- protocol specification
- formal specification
- model checking
- object oriented design
- specification languages
- formal methods
- communication protocols
- specification language
- concurrent systems
- model checker
- process algebra
- reverse engineering
- application layer
- video streaming
- temporal logic
- artificial intelligence
- business rules
- software components
- key features
- object oriented
- high level
- protocol stack
- case study