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

ID	Priority	Status	Project Lead	Allotment	Bounty	Summary
p278	subproject	pending	tschwinge	30 %	US $108.04	locking issues, formal verification
p277	subproject	pending	tschwinge	70 %	US $205.39	/hurd/term

Unalloted Percentage:0%

Report a bug

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