位置：成果数据库 > 会议 > 会议详情页
A Sound Floating-Point Polyhedra Abstract Domain
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 成果类型：会议
  • 相关项目：软件工程学
同会议论文项目
软件工程学
期刊论文 25 会议论文 10
同项目会议论文
Linear Absolute Value Relation Analysis
Failure-Divergence Refinement of Compensating Communicating Processes
Computing Must and May Alias to Detect Null Pointer Dereference
Simple and Precise Widenings for H-Polyhedra
Symbolic Model Checking APSL
An Abstract Domain to Discover Interval Linear Equalities
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Software Active Online Monitoring under Anticipatory Semantics
An Extended cCSP with Stable Failures Semantics