Formal Specification and Validation of a Vital Communication Protocol.
Alessandro CimattiP. L. PieracciniRoberto SebastianiPaolo TraversoAdolfo VillafioritaPublished in: World Congress on Formal Methods (1999)
Keyphrases
- formal specification
- communication protocol
- model checking
- specification languages
- object oriented design
- specification language
- process algebra
- formal methods
- communication protocols
- reverse engineering
- concurrent systems
- temporal logic
- software components
- wifi
- distributed databases
- distributed environment
- neural network