I'm going to note also after digesting the article further that CsCheck has support for "stateful"/"model-based" testing in addition to property-based testing.

I'm going to note also after digesting the article further that CsCheck has support for "stateful"/"model-based" testing in addition to property-based testing. It also supports the linearizable/parallel testing that is described in the article. See: - https://github.com/AnthonyLloyd/CsCheck?tab=readme-ov-file#model-based-testing https://github.com/AnthonyLloyd/CsCheck?tab=readme-ov-file#m... - https://github.com/AnthonyLloyd/CsCheck?tab=readme-ov-file#concurrency-testing https://github.com/AnthonyLloyd/CsCheck?tab=readme-ov-file#c...