iwilare / formal-methodsLinks

Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
18Updated 2 years ago

Alternatives and similar repositories for formal-methods

Users that are interested in formal-methods are comparing it to the libraries listed below

Sorting: