QuickChick / IFC

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

Related projects

Alternatives and complementary repositories for IFC