On Wed, 1 Jan 2003, charles lindsay wrote: > Personally, I have very little faith in proof of correctness (a baase > requirement for A1), as most proofs tended to be larger than the code > they were trying to prove. Verification of formal proofs is trivial and a trained monkey can do it (assuming a sane logic system with a sane proof system is used). --Pavel Kankovsky aka Peak [ Boycott Microsoft--http://www.vcnet.com/bms ] "Resistance is futile. Open your source code and prepare for assimilation."
This archive was generated by hypermail 2b30 : Fri Jan 03 2003 - 18:55:50 PST