A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.
Paul RegnierGeorge LimaAline Maria Santos AndradePublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- formal specification
- communication protocol
- model checking
- temporal logic
- real time
- communication protocols
- concurrent systems
- protocol specification
- formal methods
- process algebra
- model checker
- specification languages
- specification language
- object oriented design
- grid workflow
- formal verification
- control system
- wifi
- reverse engineering
- event driven
- software components
- rule base
- quality of service
- response time
- software engineering