Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- petri net
- model checking
- petri net model
- formal proof
- lightweight
- formal methods
- tcp ip
- face verification
- temporal logic
- network protocols
- coloured petri nets
- verification method
- formal verification
- elliptic curve
- concurrent systems
- asynchronous circuits
- ip address
- communication protocols
- functional verification