Hacker News Reader

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

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.