# Getting started with Kontrol: a formal verification tool

- Channel: [EthCC](https://streameth.org/ethcc)
- Date: 2024-07-18
- Duration: 50:28
- Watch: https://streameth.org/watch/669978af237940f4df9a3104

## 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.