/jmlcoq

Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.