|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.
|[Prev in Thread]||Current Thread||[Next in Thread]|