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.