语言

研究项目

当前项目:

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

以往项目

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