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

Project Lead:

tschwinge (6 credits)

 

Bounty:

US $4.39(Sponsor Project)
The existing GNU/Hurd code should undergo code analysis and formal verification.
 

No submissions have been made for this project.

Make a Submission
FOSS Factory Source