GitHub repository: songyahui/EFFECTS
Primary language: OCaml
Created: 2019-11-28T10:05:01Z
Description: Tvide: an Automated Temporal Verification tool of Integrated Dependent Effects