Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq proofs.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool