搜索到 篇“ 高可信软件 “的相关文章

相关作者

陈意云
作品数：133被引量：643H指数：16
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
李隆
作品数：3被引量：7H指数：2
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：高可信软件 COQ 形式化方法 动态存储管理 垃圾收集机制
李兆鹏
作品数：26被引量：68H指数：4
供职机构：中国科学技术大学软件学院
研究主题：HOARE逻辑 出具证明编译器 指针逻辑 循环不变式 自动定理证明
李根
作品数：39被引量：25H指数：3
供职机构：国防科学技术大学
研究主题：处理器 二进制 数值模拟 数据库 高可信软件
郭丽
作品数：2被引量：3H指数：1
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：高可信软件 COQ 形式化方法