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? /jo
- Verified OS concerns josef . winger
- Re: Verified OS concerns thornton . richard
- Re: Verified OS concerns Artturi Alm
- Re: Verified OS concerns Peter N. M. Hansteen
- Re: Verified OS concerns Eric Johnson
- Re: Verified OS concerns iki tornsen
- Re: Verified OS concerns Kenneth R Westerback
- Re: Verified OS concerns Ted Unangst
- Re: Verified OS concerns Nick Holland
- Re: Verified OS concerns Marc Espie
- Re: Verified OS concerns Bernte
