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