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
-
TypeBooks
-
ProviderUniversity of Pennsylvania
-
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...