GitHub repository: ocaml-gospel/gospel-rtac
Primary language: OCaml
Description: Runtime assertion checking based on Gospel specifications