Jure Kukovec
Jure Kukovec
Affiliation: Independent Researcher
Talks
(CAV)
The TLA+ Model Checker Apalache · Verification of Parallel, Concurrent, and Distributed Systems
Pages in this Program
Program
Program on Sunday, 26 July 2026
CAV on Sunday, 26 July 2026
CAV Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑