Properties for all

Code Sync Team 02.05.2019

In this talk, we'll go over property testing and model checking. Using a simple cache library as an example, and the propcheck library to briefly cover the uses of property checking and when to use them versus model checking.


Learn about property testing and model checking.


People who want to move beyond unit testing and/or want to test complex stateful systems.


Code Sync Team

The Organisers

Upcoming conferences

Start booking your calendar with more Code Sync conferences happening across the globe. We will be slowly releasing more dates, in the meantime here is what we’ve planned already:

All conferences