boogie-org / forro

A sample verifier for a toy language built on top of Boogie
23Updated 2 years ago

Alternatives and similar repositories for forro:

Users that are interested in forro are comparing it to the libraries listed below