Comment by rbr94

> ... and model checkers can instantly catch errors.

Lol. If that were true software would've been a lot better historically... Model checkers don't scale to 90% of the software we write. Typically you have to 1) heavily abstract the program and 2) put it in some sort of harness to specify how you want to model the outside world (which will always fall short of practice). And probably 10 other workarounds since most model checkers are Research Grade Software™. Not saying they're not tremendously useful, but that bullet doesn't hold up at all.