Login / Signup

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol.

M. PraveenRaghavendra RameshIsaac Doidge
Published in: FMBC@CAV (2024)
Keyphrases
  • lightweight
  • coloured petri nets
  • formal analysis
  • communication protocol
  • cryptographic protocols
  • neural network
  • security protocols
  • network simulator
  • protocol specification