QuickChick / IFCLinks

Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq proofs.
12Updated 2 years ago

Alternatives and similar repositories for IFC

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

Sorting: