search

metasepi / postmortem

Postmortem for open-source operating systems
MIT License
1 stars 0 forks source link

Find the best solution to avoid bugs #5

Closed master-q closed 4 years ago

master-q commented 4 years ago

I think we should not judge best solution on ATS, VeriFast, Rust and the other methods. They have pros/cons.