Formal Verification of a Leader Election Protocol in Process Algebra.
Lars-Åke FredlundJan Friso GrooteHenri KorverPublished in: Theor. Comput. Sci. (1997)
Keyphrases
- model checking
- process algebra
- formal verification
- model checker
- coloured petri nets
- formal specification
- temporal logic
- formal methods
- concurrent programs
- automated verification
- concurrent systems
- symbolic model checking
- protocol specification
- bounded model checking
- communication protocols
- asynchronous circuits
- grid workflow
- communication protocol
- artificial intelligence
- knowledge acquisition
- source code