The seL4 verification: the art and craft of proof and the reality of commercialhttps://www.youtube.com/watch?v=QL5oGMxpmJI by mbrodersen • 4 years ago 3 0 4 years agoYOyoutube.com