On Tue, May 31, 2011 at 05:36:17PM +0200, Erik wrote:
| Op 31-5-2011 17:51, Kevin Chadwick schreef:
|
>http://www.techrepublic.com/blog/security/working-towards-bug-free-secure-software/5560?tag=nl.e036
| >
| Actually they go full steps further. They have produced a formally
| verified OS kernel, was in the news august 13, 2009:
http://tech.slashdot.org/story/09/08/13/0827231/Worlds-First-Formally-Proven-OS-Kernel
"Beware of bugs in the above code; I have only proved it correct, not
tried it."
-- Donald E. Knuth
--
>++++++++[<++++++++++>-]<+++++++.>+++[<------>-]<.>+++[<+
+++++++++++>-]<.>++[<------------>-]<+.--------------.[-]
http://www.weirdnet.nl/
