When you first start on PBT, the first hurdle is finding good properties of your system to test. I found this article [1] to be a great overview to get started.

[1]: https://fsharpforfunandprofit.com/posts/property-based-testi...