[Top][All Lists]

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

Static Analysis of Hurd Source Code?

From: Rauf Salimi Khaligh
Subject: Static Analysis of Hurd Source Code?
Date: Fri, 26 Aug 2005 16:45:32 +0200
User-agent: Debian Thunderbird 1.0.6 (X11/20050802)

Dear Hurd People,

I am currently doing research on static analysis algorithms for parallel
programs, and I am collecting large multi-threaded programs based on
"POSIX-like" threading and synchronization primitives.I will use these
programs as  benchmarks and the results will be published in my Master's
Thesis. I am not much familiar with hurd before getting
involved : is the latest version of Hurd based on pthreads? Has there been
any previous work on static analysis or formal verification of Hurd?

I would appreciate any comments.

Best Regards,

Rauf Salimi Khaligh

Faculty of Computer Science
Institute of Software Technology
University of Stuttgart

reply via email to

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