This is a good pragmatic article about using formal methods. You should not expect them to solve all of your problems, but they can certainly help.