On Thu, 19 Sep 2013, josef.win...@email.de wrote: > Does OpenBSD plan to varify its (main) components, to reach the level of > zero-bug software?
Just out of curiousity, how much verifying would it take to reach the level of "zero-bug software"? How would that affect the development cycle? > If not, isn't there any concern that (future) varified OS will render > OBSD redundant one day? Don't you think it will be a very, very, very long time before any operating system has zero bugs? As it stands now, I suspect that OpenBSD is probably far ahead of most because the developers have spent a great deal of effort into reviewing the code for security concerns. Eric