位置：成果数据库 > 会议 > 会议详情页
An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：The 5th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2014)
  • 成果类型：会议
  • 相关项目：面向数值程序安全性与鲁棒性的抽象解释技术
同会议论文项目
面向数值程序安全性与鲁棒性的抽象解释技术
期刊论文 6 会议论文 7
同项目会议论文
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking
Static Analysis of List-manipulating Programs via Bit-Vectors and Numerical Abstractions
Modular Heap Abstraction-based Memory Leak Detection for Heap-manipulating Programs
Numerical Static Analysis of Interrupt-driven Programsvia Sequentialization
An Abstract Domain to Infer Octagonal Constraints with Absolute Value
基于指向与数值抽象的带指针算术程序的分析方法