Formal Methods Quotes

#1. The job of formal methods is to elucidate the assumptions upon which formal correctness depends.

Tony Hoare

#2. 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

#3. When we get into the spirit world, and the veil is withdrawn, we shall then perhaps understand the whys and wherefores.

Wilford Woodruff

#4. How unlucky I am that this should happen to me. But not at all. Perhaps, say how lucky I am that I am not broken by what has happened, and I am not afraid of what is about to happen. For the same blow might have stricken anyone, but not many would have absorbed it without capitulation and complaint.

Marcus Aurelius

#5. We can choose to see life as a series of trials and tribulations, or we can choose to see life as an accumulation of treasures.

Max De Pree

#6. If I do a good job, people won't care if I am green or have three heads.

Harvey Milk

#7. All of television's appalling, but this is hardly a new statement.

Fran Lebowitz

#8. 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

#9. I don't think it's necessary for artists to have any formal training in painting or art history, but I do think it's essential to continually experiment with different subject matter, types of paint and methods of painting.

Ron Parker