locking issues, formal verification

Project Lead:

tschwinge (0 credits)

 

Bounty:

US $1.51(Sponsor Project)
There are locking issues in the Hurd's libraries/translators, to be uncovered with methods of formal verification.
 
Note: You can propose changes using the forum below.
There are locking issues in the Hurd's libraries/translators, to be uncovered with methods of formal verification.

http://www.gnu.org/software/hurd/open_issues/locking_issues.html


Any contributions to the GNU/Hurd sub-projects are subject to the general
rules/review process.  For certain projects this also includes assigning the
copyright of your changes to the Free Software Foundation.
Post a Comment

There are currently no comments in this forum.

FOSS Factory Source