7 ms·

Here they describe it in detail: http://ertos.nicta.com.au/research/l4.verified/proof.pml http://ertos.nicta.com.au/research/l4.verified/proof.pml Basically t

by hershel 12y ago

Here they describe it in detail: http://ertos.nicta.com.au/research/l4.verified/proof.pml http://ertos.nicta.com.au/research/l4.verified/proof.pml Basically they plugged a lot of the possible holes, but it's not done yet.