2 ms·
On http://ertos.nicta.com.au/research/l4.verified/ http://ertos.nicta.com.au/research/l4.verified/ , they explicitly do not claim that they have proven security
by limmeau 16y ago
On http://ertos.nicta.com.au/research/l4.verified/ http://ertos.nicta.com.au/research/l4.verified/ , they explicitly do not claim that they have proven security properties.