help-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Static Analysis of Hurd Source Code?


From: Alfred M\. Szmidt
Subject: Re: Static Analysis of Hurd Source Code?
Date: Fri, 26 Aug 2005 17:01:09 +0200

   is the latest version of Hurd based on pthreads?

No.  All translators still use cthreads.

   Has there been any previous work on static analysis or formal
   verification of Hurd?

Not to my knowledge.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]