To: ShadowAce
Yep, and this is why a fully formally verified OS would be so desirable… provability on the absence of bugs.
24 posted on
03/05/2014 11:02:21 AM PST by
OneWingedShark
(Q: Why am I here? A: To do Justly, to love mercy, and to walk humbly with my God.)
To: OneWingedShark
It’s being worked on, but I can see it as an absolutely huge undertaking
25 posted on
03/05/2014 11:06:21 AM PST by
ShadowAce
(Linux -- The Ultimate Windows Service Pack)
To: OneWingedShark
Green Hills Integrity, for instance?
31 posted on
03/05/2014 11:19:30 AM PST by
CodeToad
(Keeping whites from talking about blacks is verbal segregation!)
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson