Re: Read the open letter righr till the end
The fascination with formally verified software is likely that it is at least one step better than not verified in any way shape or form software. Sure the former could have flaws and the latter none but I know which way around I'd bet.