News for hackers. Stuff that matters.

A comment on The Human Obsession With "Formal Proofs" is a Waste of Time. Parent comment

Re:The Human Obsession With "Formal Proofs" is a Waste of Time by akkartik on Wednesday February 18, 2009 @12:07AM (#485386)
Even if you prove that a program meets a formal spec, there's no way to know that the formal spec does what you 'intend'. And specs can get complex too.
[ Parent | on HN ]
Re:The Human Obsession With "Formal Proofs" is a Waste of Time by SapphireSun on Wednesday February 18, 2009 @03:14AM (#485512)
Nonetheless, you have reduced the uncertainty in the system. At least you know where the system is breaking down when you find bugs if you have proven your algorithms conform to spec.
[ Parent | on HN ]