seL4 kernel is formally verified

Gernot Heiser gernot at
Mon Aug 17 10:04:53 CEST 2009

>>>>> On Sun, 16 Aug 2009 22:34:27 -0400, "John van V." <john.van.v at> 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:

... and this podcast:


More information about the l4-hackers mailing list