Functional specification assertion language for static program verification (Documentation)
MIT LicenseMIT
No one’s star this repository yet.