The job of formal methods is to elucidate the assumptions upon which formal correctness depends. — Tony Hoare Copy Share Image
Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely… — Edsger Dijkstra Copy Share Image
Trying to apply formal methods to all software projects is just as bad as trying to apply code-and-fix development to all projects. — Steve McConnell Copy Share Image
