#Code BEAM SF 2019
Media
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