Hi! We are very happy to announce the release of gospel.0.3.0 Gospel is a tool-agnostic behavioural specification language for OCaml. It allows you to write strongly typed contract-based specifications for your OCaml libraries (for a reasonable subset of OCaml). Gospel’s syntax has been designed to…

[ANN] Gospel 0.3.0

cdaringe April 16, 2024, 2:36pm 2

I enjoyed reading the docs. Great work!

1 Like

Topic	Replies	Views
[ANN] Gospel 0.2.0 Ecosystem announce	385	October 13, 2023
[ANN] Ortac 0.2.0, leverage Gospel formal specifications to generate tests Ecosystem announce	270	April 17, 2024
[ANN] Ortac 0.3.0 Dynamic formal verification made easy Ecosystem announce	143	July 9, 2024
[ANN] Ortac/QCheck-STM 0.4.0 Dynamic formal verification beyond one system under test Ecosystem announce , testing	124	October 11, 2024
[ANN] First release of ortac-core, ortac-runtime and ortac-qcheck-stm Ecosystem	305	October 30, 2023