中美合作所 swMATH ID: 21209 软件作者： 阿尔伯特·E.、阿雷纳斯·P.、弗洛雷斯·蒙托亚·A.、吉纳伊姆·S.、戈梅斯·扎马洛亚·M.、马丁·马汀·E.、普埃布拉·G.、罗曼·迪兹·G。 描述： SACO：用于并发对象的静态分析器。我们介绍了SACO的主要概念、用法和实现，SACO是并发对象的静态分析器。有趣的是，中美合作所能够基于并发对象推断程序的活性（即终止性和资源有界性）和安全属性（即无死锁）。该系统集成了辅助分析，如指向并可能并行发生的点，这对于提高上述更复杂属性的准确性至关重要。SACO提供了有关可能导致死锁的依赖项、终止不保证的循环以及方法资源消耗上限的准确信息 主页： https://link.springer.com/chapter/10.1007%2F978-3-642-54862-8_46 相关软件： 防抱死制动系统;J盒;基利姆;成本核算表;速度;算法864;斑疹病毒2;KeY-ABS公司;优化数学卫星;vZ（虚拟Z）;悉尼商学院;z3（零3）;CPLEX公司;快速检查;哈斯克尔;伊莎贝尔/HOL;Coq公司;TALx86;轻量级Java;积极主动 引用于： 10文件 标准条款 1出版物描述软件 年份 SACO：并发对象的静态分析器艾尔维拉·阿尔伯特；普里阿雷纳斯；安东尼奥·弗洛雷斯·蒙托亚；萨米尔·根奈姆；戈梅斯·扎马洛亚，米格尔；马丁·马汀（Martin-Martin）、恩里克（Enrique）；普埃布拉，德国；吉列尔莫·罗曼·迪兹 2014 全部的 前5名23位作者引用 5 艾尔维拉·阿尔伯特 4 恩里克·马丁·马汀 三 安东尼奥·弗洛雷斯·蒙托亚 三 萨米尔·根奈姆 2 卢多维奇·亨利奥 1 拉贝亚·阿穆尔·布利法 1 尼古拉斯·贝齐吉安尼斯 1 理查德·布贝尔 1 德波尔（Frank S。 1 梅德利纳·埃拉什库 1 劳尔·古铁雷斯 1 雷纳·哈内尔 1 O.库兰基纳。 1 科西莫·拉内夫 1 迈克尔·连哈特 1 艾瑞克·马德琳 1 佛罗里达州米科塔 1 Ka I.潘。 1 贾斯汀·罗切斯 1 吉列尔莫·罗曼·迪兹 1 卡里娜·维莱拉 1 丹妮拉·扎哈里 1 达米亚诺·扎纳尔迪尼 全部的 前5名引用于6个系列 4 程序设计中的逻辑和代数方法杂志 1 自动推理杂志 1 计算机基础理论 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 在2个字段中引用 10 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文