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@gmail.org _______________________________________________ Xen-community mailing list Xen-community@lists.xensource.com http://lists.xensource.com/mailman/listinfo/xen-community
Reasonably Related Threads
- [LLVMdev] New automated decision procedure for path-sensitive analysis
- [LLVMdev] New automated decision procedure for path-sensitive analysis
- [LLVMdev] GSoC 2011: Superoptimization for LLVM IR
- [LLVMdev] How about state of SVA
- [LLVMdev] New automated decision procedure for path-sensitive analysis