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.