/upverifier

Unbounded Verification of P(-like) Programs

Primary LanguageOCamlMIT LicenseMIT

Stargazers