Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol.

M. Praveen Raghavendra Ramesh Isaac Doidge

Published in: CoRR (2024)

Keyphrases

lightweight
communication protocol
model checking
cryptographic protocols
directed networks
formal analysis
security protocols
authentication protocol
tcp ip
database
data sets
network simulator
network protocols
coloured petri nets