Mailing List Archive

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!

Cheers:)

Liu Jian

--
email to: gjk.liu@gmail.org

_______________________________________________
Xen-community mailing list
Xen-community@lists.xensource.com
http://lists.xensource.com/mailman/listinfo/xen-community