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