QuickChick/IFC QuickChick/IFC

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language Coq
  • License
    Other
  • Created about 10 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
QuickChick/IFC
github

QuickChick

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

QuickChick

Randomized Property-Based Testing Plugin for Coq
Coq
253
star
2

Luck

Luck -- A Language for Property-Based Generators
Haskell
31
star
3

TestingNoninterference

Haskell code associated to the "Testing Noninterference, Quickly" paper. The associated Coq proofs are in a separate repository: https://github.com/QuickChick/IFC
Haskell
6
star