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

[Xen-research] about formal analysis of Xen


  • To: xen-research@xxxxxxxxxxxxxxxxxxx
  • From: "Liu Jian" <gjk.liu@xxxxxxxxx>
  • Date: Wed, 24 Sep 2008 21:56:56 +0800
  • Delivery-date: Wed, 24 Sep 2008 06:58:39 -0700
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition; b=KqY4ZX/Yo9Tgsr1cVwu6eiUbG+YMErMUgOVgZE0Q0h8uoudRnXc16cxOuPoGRWxlZi WXEKRwgv9L/eAOLLMHH5nT/s3+Sx8gP3XUobDnIQizqxCtAo2IPEbMATZ8PJApvohO24 8gP3fvaO1GUa8p2SyZ0OV8QoAcbNOQx7WldRU=
  • List-id: Research Issues on Xen <xen-research.lists.xensource.com>

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@xxxxxxxxx

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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.