return in loop for ?

[Steven D'Aprano]

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.