4 ms·Towards Practical Formal Verification for a General-Purpose OS in Rust4 points by lukastyrychtr 2y ago