seL4 kernel is formally verified

[Gernot Heiser]

>>>>> On Sun, 16 Aug 2009 22:34:27 -0400, "John van V." <john.van.v at gmail.com> said:
JvV> It would be really nice to create some plain-langauge text for the
JvV> general public so that it knows the significance of this L4 milestone.

For an outsiders' view see this article:

http://www.computerworld.com.au/article/314817/nicta_wins_race_secure_l4

... and this podcast:

http://itradio.com.au/networking/?p=98

Gernot