 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> |
|---|---|---|
| ||
| Previous by Date: | [Xen-users] Xen management, janskey |
|---|---|
| Next by Date: | [Xen-users] FW: Xen.org Community Weekly Update, Stephen Spector |
| Previous by Thread: | [Xen-users] Xen management, janskey |
| Next by Thread: | [Xen-users] FW: Xen.org Community Weekly Update, Stephen Spector |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
