Watch / Formal Specification and Verification of the Distributed Validator Technology protocol

Formal Specification and Verification of the Distributed Validator Technology protocol

  • YouTube
  • Details

Formal Specification and Verification of the Distributed Validator Technology protocol

Duration: 00:24:14

Speaker: Roberto Saltini

Type: Talk

Expertise: Intermediate

Event: Devcon 6

Date: Oct 2022

In this talk, we present our work on formally specifying and verifying the Distributed Validator Technology (DVT) protocol, using the verification-ready programming language Dafny, to ensure that the DVT protocol behaves as expected. You will learn how to read the formal specification, how to use it to write your own implementation of the protocol, what properties we have formally proven to be guaranteed by the protocol and what the future directions of the DVT protocol and our work are.
About the speakers

RS

Roberto Saltini

Roberto is currently leading the Dependable Distributed Systems research team at ConsenSys. His main research interests revolve around the design, analysis and formal verification of distributed protocols.

  • Related