Hyperkernel – A push-button approach to building provably correct OS kernelsunsat.cs.washington.edu168 pointslainon8 years ago