3 ms·
L4 was verified (mostly, at least): http://ertos.nicta.com/research/l4.verified/approach.pml http://ertos.nicta.com/research/l4.verified/approach.pml
by lomnakkus 12y ago
L4 was verified (mostly, at least): http://ertos.nicta.com/research/l4.verified/approach.pml http://ertos.nicta.com/research/l4.verified/approach.pml