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 continuous

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.