One of my favorite quotes on this topic is:

"Type systems are just the parts of formal verification we've figured out how to make fast."