Formal Verification of QBFT Consensus Protocol

Feb 9, 2022 · Brisbane, Australia

Online event:

Roberto Saltini will explain the QBFT consensus protocol and describe how the protocol has been formally verified.

Event organizers
  • Ethereum Engineering Group

    ConsenSys is bring you this meet-up. This meet-up is for software engineers, computer scientists, researchers, and technologists who want to understand the Ethereum platform and associated technologies. The meet-up runs each fortnight, on Wednesday lunch time. YouTube: The slack channel for this meet-up group is eth-eng-group. To join it, click on this link:

    Recent Events

Are you organizing Formal Verification of QBFT Consensus Protocol?

Claim the event and start manage its content.

I am the organizer

based on 0 reviews

Featured Events