Towards Practical Formal Verification for a General-Purpose OS in Rust asterinas.github.io 4 points by lukastyrychtr 6 hours ago