固定袋

FixBag：一个用于量化包约束的定点计算器。摘要解释技术在提高程序分析的最新水平方面发挥了重要作用。传统上，这些技术的独立工具是为数值领域开发的，这可能足以满足较低水平的程序正确性。为了分析更广泛的程序，我们开发了一个工具来计算量化包域的符号不动点。此域对于处理值集合的程序很有用。我们的工具能够通过递归包约束的不动点分析来导出循环不变量和方法的前/后条件。为了支持更好的精度，我们允许在适当的情况下推断析取公式。作为一个独立的工具，我们已经在一系列小的但具有挑战性的例子上进行了测试，其精度和性能都可以接受。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 4篇文章 参考）

显示第1到第4个结果，共4个。
按年份排序(引用)

  1. 李惠松；贝林格，弗朗索瓦；张，博尔尤赫埃文；对手，泽维尔：语义导向的析取抽象状态聚集（2017）
  2. Cox，Arlen；Chang，Bor Yuh Evan；Sankaranarayanan，Sriram:Quicr:集合和数字参数化抽象的可重用库（2014）
  3. 秦胜超；何冠华；秦维安；杨红丽：用于自动程序验证的组合域上的不变量合成（2013）
  4. Pham，Tuan Hung；Trinh，Minh Thai；Truong，Anh Hoang；Chin，Wei Ngan:Fixbag：量化行李约束的定点计算器（2011）ioport公司