形式化数学和证明工程

阅读量:596
陈钢
PDF在线浏览 下载本文   

中国计算机学会(CCF)拥有《中国计算机学会通讯》(CCCF)所刊登内容的所有版权,未经CCF允许,不得转载本刊文字及照片,否则被视为侵权。对于侵权行为,CCF将追究其法律责任。
<<< 上一篇   无
<<< 下一篇 无
读完这篇文章后,您心情如何?

作者介绍

陈钢

  • CCF专业会员
  • 北京京航计算通讯研究所国家千人计划专家
  • 研究方向:高阶定理证明器、程序语言、类型理论、静态分析、硬件形式化验证、PL C程序测试以及函数式
  • gangchensh@qq.com