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

[Xen-community] about formal verification about Xen

To: xen-community@xxxxxxxxxxxxxxxxxxx
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
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=
List-id: Community Discussion <xen-community.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-community mailing list
Xen-community@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/mailman/listinfo/xen-community

Prev by Date: [Xen-users] Xen management
Next by Date: [Xen-users] FW: Xen.org Community Weekly Update
Previous by thread: [Xen-users] Xen management
Next by thread: [Xen-users] FW: Xen.org Community Weekly Update
Index(es):
- Date
- Thread

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