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.
 
UsernameSponsorshipCreditsAssigned To
tschwinge EUR 3.74 6 self
FOSS Factory Source