On Thu, 24 Nov 2005 11:06:58 +0000, Steve Holden wrote: > Besides which I'm somewhat sceptical about formal verification methods. > > While outwardly they apear to offer a technique for making software more > reliable there are two shortcomings I'm leery of. First, no verification > program can verify itself;
That's not a problem if there exists a verification program A which can't verify itself but can verify program B, which in turn also can't verify itself but will verify program A. > secondly the requirements sepcifications for > formal verification are way beyond what a normal user is capable of > specifying, making them an even worse tool for specification. Can't argue with that observation :-) -- Steven. -- http://mail.python.org/mailman/listinfo/python-list
