(no title)
hershel | 11 years ago
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.
hershel | 11 years ago
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.
No comments yet.