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) Sponsor This Project
You currently need to log in to sponsor a project. We apologize for the inconvenience.
Note: You can propose changes using the forum below.
The existing GNU/Hurd code should undergo code analysis and formal verification.
http://www.gnu.org/software/hurd/open_issues/code_analysis.html
http://www.gnu.org/software/hurd/open_issues/formal_verification.html
The Related Projects box on the upper right shows a list of sub-projects.
Any contributions to the GNU/Hurd sub-projects are subject to the general
rules/review process. For certain projects this also includes assigning the
copyright of your changes to the Free Software Foundation.
http://www.gnu.org/software/hurd/open_issues/code_analysis.html
http://www.gnu.org/software/hurd/open_issues/formal_verification.html
The Related Projects box on the upper right shows a list of sub-projects.
Any contributions to the GNU/Hurd sub-projects are subject to the general
rules/review process. For certain projects this also includes assigning the
copyright of your changes to the Free Software Foundation.
Post a Comment
There are currently no comments in this forum.