位置：成果数据库 > 期刊 > 期刊详情页
Shape Analysis by Refining on Abstract Evaluation Path
  • ISSN号：1571-0661
  • 期刊名称：Electronic Notes in Theoretical Computer Science
  • 时间：0
  • 页码：137-151
  • 语言：英文
  • 相关项目：安全关键软件的故障诊断、隔离与恢复技术研究
作者： Xiaodong Ma|Ji Wang|Wei Dong|
同期刊论文项目
安全关键软件的故障诊断、隔离与恢复技术研究
期刊论文 7 会议论文 13 专利 1
同项目期刊论文
Demand-Driven Memory Leak Detection Based on Flow-and Context-Sensitive Pointer Analysis
面向参数化LTL的预测监控器构造技术
并发反应式系统的组合模型检验与组合精化检验
单变量区间线性不等式抽象域
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis
运行时软件故障注入器的设计与实现