Linked by Thom Holwerda on Thu 13th Aug 2009 15:08 UTC, submitted by Inkslinger
OSNews, Generic OSes Australian research organisation NICTA claims to be the world's first to develop a formal machine-checked proof of a general-purpose operating system kernel, the Secure Embedded L4 (seL4). The organisation "beat" several other larger and better funded organisations to claim this achievement, according to a spokesperson.
Share this story

Your Name:

Your Email:

Your Friend's Email:

Please confirm the image:
Captcha