No video source available
Getting started with Kontrol: a formal verification tool
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
Category
Security
Type
Workshop
Language
EN