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
7/8/2024
CATEGORY
Security
TYPE
Workshop
LANGUAGE
EN
Security videos