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.
 
IDPriorityStatusProject
Lead
AllotmentBountySummary
p277 subproject pending tschwinge 70 % US $3.06 /hurd/term
p278 subproject pending tschwinge 30 % US $1.33 locking issues, formal verification

Unalloted Percentage:0%

Report a bug

FOSS Factory Source