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.