Sign in

Verification of GossipSub in ACL2s.

Ankit KumarMax von HippelPanagiotis ManoliosCristina Nita-Rotaru
Published in: CoRR (2023)
Keyphrases
  • model checking
  • natural language learning
  • verification method
  • three dimensional
  • face verification
  • signature verification
  • formal verification
  • databases
  • decision trees
  • data structure
  • functional verification