songyahui/EFFECTS

Tvide: an Automated Temporal Verification tool of Integrated Dependent Effects

语言：OCaml · GitHub 星标：3 · Fork：1

话题：cyclic-proof · dependent-effects · formal-verification · temporal-properties

在 GitHub 上查看原仓库