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