Pinned Loading

1. EFFECTS EFFECTS Public

   Tvide: an Automated Temporal Verification tool of Integrated Dependent Effects

   OCaml 3 1

2. SyncedEffects SyncedEffects Public

   JavaScript 2

3. Semantics_HIPHOP Semantics_HIPHOP Public

   C++ 2

4. hipsleek/Heifer hipsleek/Heifer Public

   Verifier for effectful, higher-order programs

   OCaml 18 7

5. Timed_Verification Timed_Verification Public

   C 1 1

6. infer_TempFix infer_TempFix Public

   ProveNFix is a program analysis/repair tool for temporal properties for C language.

   OCaml 2 2