Project Lead:

tschwinge (6 credits)

Bounty:

The existing GNU/Hurd code should undergo code analysis and formal verification.

Requirements
Bugs/Subprojects
Sponsors
Activity
Submissions
Get Started

No submissions have been made for this project.

Make a Submission

© Copyright 2006-2008 FOSS Factory Inc. All trademarks and copyrights on this page are owned by their respective owners. Comments are owned by the individual poster. All content owned by FOSS Factory is licensed under a Creative Commons Attribution-Noncommercial 2.5 Canada License.