中科大-耶鲁 高可信软件联合研究中心

当前项目:

• 类C语言的出具证明编译器
• Vsync: 多核机器上的并行程序验证
• Pplsrs: 带共享资源规范的并行编程语言
• Kern0:操作系统内核验证

以往项目

•  RCAL86: 基于IA32架构的认证汇编语言(2006年9月完成)
•  TLL: 开放运行平台上的类型化低级语言(2004年9月完成)