Quote #592
The job of formal methods is to elucidate the assumptions upon which formal
correctness depends.
-- Tony Hoare
The job of formal methods is to elucidate the assumptions upon which formal
correctness depends.
-- Tony Hoare
Related:
- Quote #678
Formal methods will never have a significant impact until they can be used
by people that don't understand them.
-... - Quote #19
A formal parsing algorithm should not always be used.
-- D.... - Quote #22
``Pointers are like jumps, leading wildly from one part of the data
structure to another.
Their introduction into high-level languages has been... - Quote #511
* Formal specifications yield correct programs.
No. Formal specifications yield PhD theses. They... - One can't proceed from the informal to the formal by
formal means... - Don't use contractions in formal
writing...
