Login / Signup

Brief Announcement: Holistic Verification of Blockchain Consensus.

Nathalie BertrandVincent GramoliIgor KonnovMarijana LazicPierre TholoniatJosef Widder
Published in: PODC (2022)
Keyphrases
  • formal verification
  • model checking
  • asynchronous circuits
  • data sets
  • databases
  • metadata
  • multiscale
  • multi agent
  • expert systems
  • evolutionary algorithm
  • formal methods
  • high security
  • concurrent systems