Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 09:00 - 10:30 at Sala V - Tutorial 1A
Mon 14 Jan 2019 11:00 - 12:30 at Sala V - Tutorial 1B

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

Mon 14 Jan

POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Tutorial 1A at Sala V
POPL-2019-TutorialFest09:00 - 10:30
Talk
Benjamin C. PierceUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Tutorial 1B at Sala V
POPL-2019-TutorialFest11:00 - 12:30
Talk
Benjamin C. PierceUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania