| Title: | Software Foundation Volume 4: QuickChick: Property-Based Testing in Coq |
|---|
PRINT
PDF
WORD
CSV
EXCEL
Moocable is learner-supported. When you buy through links on our site, we may earn an affiliate commission.
Software Foundation Volume 4: QuickChick: Property-Based Testing in Coq
Description
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.
QuickChick: Property-Based Testing in Coq introduces tools and techniques for combining randomized property-based testing with formal specification and proof in the Coq ecosystem.
Books
University of Pennsylvania
Free 
No Certificate 
150 
Software Foundation Volume 4: QuickChick: Property-Based Testing in Coq
Affiliate notice
-
Type
-
Provider
-
PricingFree
-
CertificateNo Certificate
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.
QuickChick: Property-Based Testing in Coq introduces tools and techniques for combining randomized property-based testing with formal specification and proof in the Coq ecosystem.
Loading...
Saving...
Loading...