No video source available

Getting started with Kontrol: a formal verification tool

Name: Getting started with Kontrol: a formal verification tool
Uploaded: 2024-07-08T09:45:00.000Z
Description: The workshop will be a crash course on Formal Verification with Kontrol. Attendants will leverage their Foundry skills to use Kontrol and get hands-on experience on how to incorporate FV into their everyday development.

The workshop will be a crash course on Formal Verification with Kontrol. Attendants will leverage their Foundry skills to use Kontrol and get hands-on experience on how to incorporate FV into their everyday development.

Speaker

Juan Conejero, Andrei Vacaru

Event

EthCC[7]

Date

July 8, 2024