"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
You have to be able to accept failure to get better.
The process of design is a process of discovery.