Volume 4: QuickChick

softwarefoundations.cis.upenn.edusite

Introduction to tools for combining randomized property-based testing with formal specification and proof.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   QuickChick github.com

   Plugin for randomized property-based testing.

   tool link ↗
   
2. ▲

   coq github.com

   tool link ↗
   
3. ▲

   Company-Coq github.com

   IDE extensions for Proof General's Coq mode.

   tool topic math link ↗
   
4. ▲

   coq-of-ocaml github.com

   tool link ↗
   
5. ▲

   Volume 3: Verified Functional Algorithms softwarefoundations.cis.upenn.edu

   Demonstration of how a variety of fundamental data structures can be specified and verified.

   site topic programmingtopic math link ↗
   site
6. ▲

   Coq Platform github.com

   Curated collection of packages to support Coq use in industry, education, and research.

   tool topic programming link ↗
   tool

Coq › Resources > Books: “Introduction to tools for combining randomized property-based testing with formal specification and proof.”