Formal Methods Quotes

2 Formal Methods quotes by 2 unique authors

• The job of formal methods is to elucidate the assumptions upon which formal correctness depends. — Tony Hoare
• Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely rewarding. — Edsger Dijkstra

Who Wrote These Formal Methods Quotes

2 authors contributed a total of 2 Formal Methods Quotes as follows:

• 1 Formal Methods Quote by Tony Hoare
• 1 Formal Methods Quote by Edsger Dijkstra