Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.

Lucie Guillou Arnaud Sangnier Nathalie Sznajder

Published in: Petri Nets (2024)

Keyphrases

cryptographic protocols
model checking
safety analysis
formal methods
multi agent
face verification
record linkage
neural network
multi party
news video
safety critical
protocol specification