Op 31-5-2011 17:51, Kevin Chadwick schreef:
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-Kernelhttp://www.techrepublic.com/blog/security/working-towards-bug-free-secure-software/5560?tag=nl.e036
Erik
