Comment by infinitebit

I’ve recently started using PBT at work and it has been more than worth it, and I want to try Model checking next.