食蚁兽 swMATH ID: 32373 软件作者: Mai,H.、Khurshid,A.、Agarwal,R.、Caesar,M.、Godfrey,P.、King,S.T。 描述: Anteater是一种通过静态分析网络设备的数据平面状态来检测网络错误的工具。Anteater将高级网络不变量转换为布尔可满足性问题(SAT),使用SAT解算器根据网络状态对其进行检查,并在发现违规行为时报告反例。有关更多信息,请阅读SIGCOMM’2011:Haohui Mai等人的论文。用Anteater调试数据平面。ACM SIGCOMM 2011年会议记录。 主页: https://dl.acm.org/doi/101145/2018436.2018470网址 源代码: https://github.com/haohui/anteater 相关软件: NetKAT公司;VeriFlow公司;VeriCon公司;Kuai公司;洛拉;第4页;DyNetiKAT公司;防抱死制动系统;Syco公司;PMaude公司;脂肪轮胎;z更新;AdamMC公司;爱格;ITS工具;狂热的;基础知识;LTSmin公司;水獭;NetCore公司 引用于: 5文件 全部的 前5名23位作者引用 2 亚历山德拉·席尔瓦 1 艾尔维拉·阿尔伯特 1 卡列夫·阿尔佩纳斯 1 伯恩德·芬克贝纳 1 内特·福斯特 1 Manuel Gieseking先生 1 米盖尔·戈梅斯·扎马洛亚 1 赫金·哈布什,杰斯科 1 米盖尔·伊莎贝尔 1 托比亚斯·卡佩 1 德克斯特·C·科赞。 1 奥尔德罗格,恩斯特·吕迪格 1 熊猫,Aurojit 1 亚历山大·拉比诺维奇 1 朱里安·罗特 1 阿尔伯特·鲁比奥 1 穆利·萨吉夫 1 马蒂奥·桑马蒂诺 1 斯科特·J·申克。 1 沙龙·肖姆 1 戈登·斯图尔特 1 纱线维纳 1 工资制造者,贾纳 2篇连载文章中引用 1 系统设计中的形式化方法 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 5 计算机科学(68至XX) 按年份列出的引文