Formal specification and verification of a broadcasting protocol: a refinement-based approach.
Faten FakhfakhMohamed TounsiMohamed MosbahPublished in: KES (2020)
Keyphrases
- formal specification
- protocol specification
- model checker
- model checking
- formal methods
- object oriented design
- specification language
- specification languages
- concurrent systems
- process algebra
- temporal logic
- communication protocols
- formal verification
- data abstraction
- formal analysis
- reverse engineering
- software components
- data dissemination
- grid workflow
- fine grained
- cryptographic protocols
- communication protocol
- cooperative