Explore @ocaml-gospel Open Source projects

@ocaml-gospel

ocaml-gospel

Stars
240
Global Org. Rank 36,628 (Top 12 %)
Registered about 4 years ago
Most used languages

OCaml
100.0 %

gospel

A tool-agnostic formal specification language for OCaml.

cameleer

A Deductive Verification Tool for OCaml Programs

ortac

Runtime assertion checking based on Gospel specifications

vocal

Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.

why3gospel

A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs of Why3 programs.

gospel2cfml