Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Towards Practical Formal Verification for a General-Purpose OS in Rust
asterinas.github.io
4 points
lukastyrychtr
a year ago
No comment yet
Towards Practical Formal Verification for a General-Purpose OS in Rust | Heykuki News