GNU/Hurd: container for code analysis, formal verification work

Project Lead:

tschwinge (6 credits)

 

Bounty:

US $4.78(Sponsor Project)
The existing GNU/Hurd code should undergo code analysis and formal verification.
 
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.
Post a Comment

There are currently no comments in this forum.

FOSS Factory Source