Formal Verification of QBFT Consensus Protocol

Feb 9, 2022 · Brisbane, Australia

Online event: https://consensys.zoom.us/j/94749391426

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: https://www.youtube.com/c/ethereumengineeringgroup The slack channel for this meet-up group is eth-eng-group. To join it, click on this link:  https://join.slack.com/t/eth-eng-group/shar...

    Recent Events
    More

Are you organizing Formal Verification of QBFT Consensus Protocol?

Claim the event and start manage its content.

I am the organizer
Social
Topics
Rating

based on 0 reviews

Featured Events