gospelversion
A tool-agnostic formal specification language for OCaml
Gospel is a behavioural specification language for OCaml program. It provides developers with a non-invasive and easy-to-use syntax to annotate their module interfaces with formal contracts that describe type invariants, mutability, function pre-conditions and post-conditions, effects, exceptions, and much more!
| Authors | Jean-Christophe Filliâtre, Cláudio Lourenço, Clément Pascutto and Mário Pereira |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/ocaml-gospel/gospel |
| Issue Tracker | https://github.com/ocaml-gospel/gospel/issues |
| Maintainer | Jean-Christophe.Filliatre@lri.fr |
| Dependencies | |
| Source [http] | https://github.com/ocaml-gospel/gospel/releases/download/0.1.0/gospel-0.1.0.tbz sha256=4435d8a8f158edbc113bab01bbf4bb5e2a874bfa0a9b6b91bebcb95452c40464 sha512=4f1bc700bd0ee5aa4e035b18f253bc31880b0891cd27d55c2814ae7c7ad2c897fd804e1598201faa765b0ec1d61ee62c5d156c4ca2f6d40e77c82e95ac5c1f43 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/gospel/gospel.0.1.0/opam |
No package is dependent
