Proving the value of formal methods.
Gerard J. Holzmann · Formal Techniques for (Networked and) Distributed Systems · 1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verification is sometimes feasible in an industrial setting; our aim must be to integrate verification techniques into the software design cycle as a non-negotiable part of quality control.