位置：成果数据库 > 会议 > 会议详情页
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：The 7th International Conference on Software Security and Reliability (SERE 2013) (Companion)
  • 成果类型：会议
  • 相关项目：面向数值程序安全性与鲁棒性的抽象解释技术
同会议论文项目
面向数值程序安全性与鲁棒性的抽象解释技术
期刊论文 6 会议论文 7
同项目会议论文
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
An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters
基于指向与数值抽象的带指针算术程序的分析方法