There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Haskell code associated to the "Testing Noninterference, Quickly" paper. The associated Coq proofs are in a separate repository: https://github.com/QuickChick/IFC
