Functional specification assertion language for static program verification (Documentation)
MIT LicenseMIT