Re: seL4 kernel is formally verified
18 Aug
2009
18 Aug
'09
3:41 a.m.
On Tue, August 18, 2009 10:18 am, John van V. wrote:
Doesn't load.
Apologies, that was the link to the internal stage site. The correct link is http://ertos.nicta.com.au/research/l4.verified/ Gernot
6041
Age (days ago)
6041
Last active (days ago)
0 comments
1 participants
participants (1)
-
gernot＠cse.unsw.EDU.AU