#Code BEAM SF 2019

Media

Properties for all

Article by Code BEAM

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
BACK TO ALL MEDIA