<

Code Sync Team

Conference Team

The Organisers

Past Activities

Code Sync Team
Code BEAM SF 2019
01 Mar 2019
12.15 - 12.40

Properties for all

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.

OBJECTIVES

Learn about property testing and model checking.

TARGET AUDIENCE

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

Media

Articles: 3

Covid-19 safety guidelines for Code BEAM America

Article by Code Sync Team

READ MORE

Hybrid conference - what to expect? + Frequently Asked Questions

Article by Code Sync Team

READ MORE

Properties for all

Article by Code Sync Team

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.

READ MORE