search

metasepi / postmortem

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

Verify code with VeriFast to avoid some of bugs #4

Closed master-q closed 4 years ago