位置：立项数据库 > 立项详情页
面向程序验证的自动定理证明理论、方法与工具研究
  • 项目名称：面向程序验证的自动定理证明理论、方法与工具研究
  • 项目类别：重点项目
  • 批准号：61732001
  • 项目来源：国自然科学基金
  • 研究期限：2018-01-2022-12
  • 项目负责人：夏壁灿
  • 依托单位：北京大学
  • 批准年度：2017
夏壁灿的项目
半代数系统的高效求解算法及其在不等式机器证明中的应用
期刊论文 2