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.
 
FOSS Factory Source