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

Username	Sponsorship	Credits	Assigned To
tlecarrour	EUR 200.00	300	self
tschwinge	EUR 3.74	6	self

© 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.