Hyperkernel explores a push-button approach to building provably correct OS kernels. https://unsat.cs.washington.edu/projects/hyperkernel/ …
12:55 AM - 12 Sep 2018
0 replies
2 retweets
4 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.