即使是最重视质量控制的项目经理（PM）也不会期望他们的开发团队能够交付绝对没有任何缺陷的无错产品。每一批新软件或者系统都要求“试验航行”，即使是在日程安排很紧张且风险很高的时候。
但是如果你正在为医疗设施或者救援就构设计软件，而你所交付的这些产品将负责拯救人的生命，那又会怎么样呢？在这种情况下，这就迫使你甚至在开始开发之前就要尽可能的排除掉可能存在的产品缺陷，而不论未来的产品检测会有多么全面和严格。
《更深入地；了解形式化方法开发的原则和优势》一文为软件开发定下了严格的指导方针，它将指导你在开始编写代码之前就寻找可能存在的问题。看看你能够如何把形式化方法应用到自己的开发上，然后了解一下如何在错误关乎生命安全的时候降低错误发生的几率。
