位置：成果数据库 > 会议 > 会议详情页
基于差分方程和最优化问题的只含赋值语句循环的自动验证
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：. The 2nd International Conference on Future Computer and Communication(ICFCC 2010,In Proceedings of
  • 成果类型：会议
  • 相关项目：大规模软件基于抽象解释理论的时序性质验证及支持工具
作者： Li Zhoujun|Li Mengjun|Xing Jianying|
同会议论文项目
大规模软件基于抽象解释理论的时序性质验证及支持工具
期刊论文 9 会议论文 6
同项目会议论文
基于不变式构造的程序自动验证
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming
构造循环不变式的一种迭代方法
基于site-safe表达式简化缓冲区溢出检测
Constructing Program Invariants via Solving QBF