Specification and Verification of the Zab Protocol with TLA+.
Jiaqi YinHuibiao ZhuYuan FeiPublished in: J. Comput. Sci. Technol. (2020)
Keyphrases
- protocol specification
- formal verification
- model checker
- temporal logic
- model checking
- formal specification
- communication protocols
- colored petri nets
- coloured petri nets
- formal methods
- cryptographic protocols
- formal analysis
- petri net
- formal proof
- asynchronous circuits
- verification method
- concurrent systems
- reactive systems
- authentication protocol
- linear temporal logic