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

Recent Activity:
2011-04-27 06:09:20 EDT  New subproject created for 'GNU/Hurd: code analysis, formal verification'
2011-04-27 06:19:05 EDT  New subproject created for 'GNU/Hurd: code analysis, formal verification'
2011-04-27 10:00:01 EDT  Increased funding for "GNU/Hurd: code analysis, formal verification"
2011-05-04 18:53:01 EDT  Increased funding for "GNU/Hurd: container for code analysis, formal verification work"

One member is watching this project:

tschwinge

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