Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
Lucie GuillouArnaud SangnierNathalie SznajderPublished in: CoRR (2024)
Keyphrases
- cryptographic protocols
- model checking
- record linkage
- formal verification
- safety analysis
- communication protocols
- protocol specification
- face verification
- data dissemination
- formal analysis
- verification method
- digital television
- signature verification
- real time
- nuclear power plant
- functional verification
- wireless broadcast