On Wed, Sep 24, 2008 at 9:56 AM, Liu Jian <gjk.liu@xxxxxxxxx> wrote:
> Dear all,
> Is there any project or work about the formal analysis of Xen.
> For example, Using theorem provers, eg. Acl2, isabelle, coq etc.
> to verify it. Thanks
The closest thing I can think of is the static analysis that has been
done or is planned to be done on Xen.
check out our book: http://runningxen.com
Xen-research mailing list