 Home |
Products |
Support |
Community |
News |
xen-research
[Xen-research] about formal analysis of Xen
| To: | xen-research@xxxxxxxxxxxxxxxxxxx |
|---|---|
| Subject: | [Xen-research] about formal analysis of Xen |
| 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 |
| Dkim-signature: | v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:mime-version:content-type:content-transfer-encoding :content-disposition; bh=DzySa5N4hnVECiZViYNBxVgH/xF1Bkd4jf/jVNzro04=; b=EcLJoKR6VH2podBGN/b2b+YZwNn/Youu0WZryWpavf4WZEypIA8dfSPXRzXptg03pk e/ko7XhISXx6D3jLlhkrPjNWp7txRA++kw9LweMNmlH6YPLduT83yxecoUXL4Q4k6dEa V1H0lpounwzuAHKTLJzWFHEHiCLuvYysMM9M4= |
| 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= |
| Envelope-to: | www-data@xxxxxxxxxxxxxxxxxxx |
| List-help: | <mailto:xen-research-request@lists.xensource.com?subject=help> |
| List-id: | Research Issues on Xen <xen-research.lists.xensource.com> |
| List-post: | <mailto:xen-research@lists.xensource.com> |
| List-subscribe: | <http://lists.xensource.com/mailman/listinfo/xen-research>, <mailto:xen-research-request@lists.xensource.com?subject=subscribe> |
| List-unsubscribe: | <http://lists.xensource.com/mailman/listinfo/xen-research>, <mailto:xen-research-request@lists.xensource.com?subject=unsubscribe> |
| Sender: | xen-research-bounces@xxxxxxxxxxxxxxxxxxx |
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 |
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | [Xen-devel] Re: [Xen-users] Announcing the first release of SnowFlock, Andrés Lagar Cavilla |
|---|---|
| Next by Date: | Re: [Xen-research] about formal analysis of Xen, Todd Deshane |
| Previous by Thread: | [Xen-devel] Re: [Xen-users] Announcing the first release of SnowFlock, Andrés Lagar Cavilla |
| Next by Thread: | Re: [Xen-research] about formal analysis of Xen, Todd Deshane |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
