Getting started with Kontrol: a formal verification tool

Name: Getting started with Kontrol: a formal verification tool
Uploaded: 2024-07-18T20:18:55.685Z
Duration: 50 min 28 s
Description: Video from EthCC, Jul 2024. 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.

EthCCThu, Jul 18, 2024, 08:18 PM · 50:28

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.