Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal

This tutorial will introduce QuickChick, a property-based random testing tool for the Coq proof assistant. For Coq users, it should be able to facilitate their verification efforts, uncovering bugs early on in the design process, before wasting time and resources on futile proof attempts. Our aim with this tutorial is to give an overview of QuickChick’s functionality through a series of simple examples