• 录像机

  • 65篇参考文献[SW07220]
  • 用功能说明、数据注释的程序不变性 不变性和鬼代码,并尝试…
  • 短吻鳄

  • 8篇参考文献[ SW000 029 ]
  • 自动推断多项式的包装ALIGER 不变性. 这个包结合了符号求和的算法…p可解的富类循环. ALIGATOR包含检查P可解性的例程…封闭形式变量,计算多项式的理想不变性通过变量消除,不变量
  • 美国广播公司

  • 6篇参考文献[SW09221]
  • 用符号求和技术推导 不变量程序变量之间的关系。迭代边界…从推断得到的不变性通过用最大值替换边界的变量…边界表示非平凡多项式关系变量。我们还报告结果…
  • 双回路振幅

  • 18篇参考文献[SW25063]
  • 两个局部整型表示平面振动振幅我们使用广义幺正性…局部的、明显的双重共形不变量二者公式散射振幅在平面上,最大限度地…
  • 固定袋

  • 4篇参考文献[SW10096]
  • 工具既能派生又能派生 不变性方法通过不动点分析的前后条件。
  • 动力的

  • 2篇参考文献[SW1486]
  • 动态推理 不变性用于自动全功能验证。动力是一种工具…自动推断 不变性并用它们来证明Java程序的正确性…规格动力提高了灵活性 不变量通过静态(证明)和动态的推理…
  • 整流罩

  • 3篇参考文献[SW094]
  • Valigator:绑定的验证工具不变量世代。我们描述了Valigor,一个软件工具…最重要的是,自动推断。 不变性并通过符号求和的结合断言…
  • 哈洛普

  • 3篇参考文献[SW27 955 ]
  • 特点:1)提供缓存选项-不变量数据访问,2)让用户重用专业…
  • 阿尔加特

  • 2篇参考文献[SW26257]
  • 阿尔加特-朱丽亚包装 不变量世代。我们描述了阿尔加特软件包…多项式的不变性关于扩展p-可解的富类循环嵌套条件句。阿尔加特形式解变量与多项式的理想推论不变性通过变量消除…
  • 爱丽丝

  • 1篇参考文献[SW150 36]
  • 爱丽丝:一种改进仿射的框架 不变量计算。程序分析的关键点…计算 不变性. 精确的不变性需要证明程序上的属性…仿射的自动计算技术比较标量不变性. 它带有一个基准…我们发现的病例 不变量书目,以及与三个分析程序的接口…
  • 迪普罗

  • 1篇参考文献[ SW28 851 ]
  • 特定的识别任务 不变性我们展示DyPro击败所有静态模型…
  • OpTGAME

  • 6篇参考文献[SW0936]
  • 非线性时间不变量系统OpTGAME 1提供开放式并反馈纳什均衡解,打开…
  • 分开的美元

  • 6篇参考文献[SW10218]
  • 当某人尝试表演时有用使用包如FARE和Reduze计算…零件(IBP)恒等式与Lorentz的集成不变性(Li)恒等式。描述…费恩特和费因卡尔包,做一个-双夸克偶素生产中的计算
  • 包装X

  • 9篇参考文献[SW18225]
  • 一元解析计算程序包积分在近4个时空维度上被调节。含实值外部的运动构型不变性内部肿块。输出表达式可以很容易地…费米子形状因子的一次计算. 这个包装是打算用的…
  • 退出

  • 1篇参考文献[SW29 333 ]
  • 表达功能和时间属性循环. 我们证明了健全性和完整性…终止分析不变量世代。为此,我们表达了语义学…
  • 苏格兰人

  • 11篇参考文献[SW20172]
  • 综合控制器的算法不变性可达性规范。原子命题,…MATLAB接口模拟关闭系统和可视化抽象状态空间…
  • AODV

  • 4篇参考文献[SW29 223 ]
  • 现有的纸笔证明AODV的自由该协议是仿照…一种新颖的吊装组合方法不变性节点的网络。我们开发机械化…
  • 鳄鱼

  • 1篇参考文献[SW0979]
  • 通用量化阵列的生成不变性. ALIGATER利用递归求解和代数技术来进行…数组内容的归纳推理。Aligators提取模块允许多路径的处理…