On Thu, Sep 19, 2013 at 22:29, josef.win...@email.de wrote: > Does OpenBSD plan to varify its (main) components, to > reach the level of zero-bug software? > > If not, isn't there any concern that (future) varified OS > will render OBSD redundant one day?
Short answer: no. Long answer: still no.
