posted by Thom Holwerda on Thu 13th Aug 2009 15:08 UTC, submitted by Inkslinger
IconAustralian 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.
e p (4)    3 Comment(s)

Technology White Papers

See More