What is Proved and What is Assumedhttp://sel4.systems/FAQ/proof.pml by zekers • 12 years ago 17 1 12 years agoSEsel4.systems