GNU/Hurd: container for code analysis, formal verification work
The existing GNU/Hurd code should undergo code analysis and formal verification.
Sponsor This Project
Bounty:
US $4.39(Sponsor Project)
You currently need to log in to sponsor a project. We apologize for the inconvenience.