WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-community

[Xen-community] about formal verification about Xen

To: xen-community@xxxxxxxxxxxxxxxxxxx
Subject: [Xen-community] about formal verification about Xen
From: "Liu Jian" <gjk.liu@xxxxxxxxx>
Date: Wed, 15 Oct 2008 18:23:04 -0700
Delivery-date: Wed, 22 Oct 2008 05:49:50 -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=fCK5XwPygNg6e0Zdrdc4H1Q9SpxtPrWh2cZUyWnUDWw=; b=FAIJzAm7jBhJK7KPT2+UQTOdbGwbY4gcyK4ylIaF+7jkptrjvd/u/vYnXbS4jObMPv c5R1NJhEtTYmemgL0SGDhwWQSg8c7pNJRRFGXpmE7/DDtITQaur/zyzdhuhzWKLANnAF tnrO8p8sGHVIA4dsxyY2Gh0T6Ep9UWjfuodxY=
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=Yy2ZPoyMJev84K3pGleITGV55D8W9orHI/KOUWnK7BXglf8XvUaqcp3jTHCeNeeVMe 2mSNlxz82qH3t0TNbbNgOzdjJiVM8kxUyKnMXjyKy5rrdJlalzyS8CKUgU8RQaAE/fJM a2MgKMoOgVJuK+fdG7hRslv7snWJaaRUxOUG8=
Envelope-to: www-data@xxxxxxxxxxxxxxxxxxx
List-archive: <http://lists.xensource.com/archives/html/xen-community>
List-help: <mailto:xen-community-request@lists.xensource.com?subject=help>
List-id: Community Discussion <xen-community.lists.xensource.com>
List-post: <mailto:xen-community@lists.xensource.com>
List-subscribe: <http://lists.xensource.com/mailman/listinfo/xen-community>, <mailto:xen-community-request@lists.xensource.com?subject=subscribe>
List-unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-community>, <mailto:xen-community-request@lists.xensource.com?subject=unsubscribe>
Sender: xen-community-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-community mailing list
Xen-community@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/mailman/listinfo/xen-community

<Prev in Thread] Current Thread [Next in Thread>
  • [Xen-community] about formal verification about Xen, Liu Jian <=