[net.lang.c] Proving correctness

peterc@ecr1.UUCP (Peter Curran) (11/06/85)

>Peter da Silva writes:
>Generally because it's not practical to prove code correct in large
>scale applications. In fact it's hard to apply many computer science
>techniques in large scale applications. This is extremely unfortunate,
>but until CS people start using real-world problems as the basis of
>their theories it will remain true.

Actually, proving correctness isn't all that difficult.  The problem is
deciding what you mean by "correct" - and staying with that definition
long enough to finish the proof (or the program, for that matter).
And all the CS theories in the world won't help there.

Peter Curran
Emerald City Research, Ltd.
...utzoo!hcrvax!ecrhub!ecr1