[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.

[agentultra]

PBT is great and often good enough.

I use model checking mostly in the design phase of a project.

Some much bigger projects at MS and Amazon use it continuously throughout their process.