Modularly; Combining; Numeric;
机译:
机译:SubPoh hedra:用于线性不等式的(更多)可扩展推断的一组数字抽象域
机译:一分钟内Java的千兆规模穷举分析
机译:将模块化的数字抽象域与指向分析进行模块化组合,以及用于Java的可扩展静态数字分析器
机译:基于SMT的析取关系抽象域用于静态分析
机译:FlhG利用各种内在结构域并影响FlhF GTPase活性以数字方式调节空肠弯曲菌中的极鞭毛生物发生。
机译:APRON:用于静态分析的数字抽象域库