NetKAT公司 swMATH ID: 16269 软件作者: Anderson,C.J.,Foster,N.,Guha,A.,Jeannin,J.-B.,Kozen,D.,Schlesinger,C.,Walker,D。 描述: NetKAT–网络验证的正式系统。本文概述了NetKAT的最新开发工作,NetKAT是一种用于分组交换网络推理的正式系统,它在软件定义网络的新兴领域中的作用。 主页: http://link.springer.com/chapter/10.1007%2F978-3-319-12736-1_1 关键词: 克莱尼代数;带测试的Kleene代数;NetKAT公司;软件定义的网络;分组交换;OpenFlow;狂热的 相关软件: VeriFlow公司;疯狂的;Coq公司;食蚁兽;VeriCon公司;DyNetiKAT公司;莫德;ProbNetKAT公司;github;伊莎贝尔/HOL;伊莎贝尔;常规集合;Nettle公司;蟒蛇;p4伏;菲尔马托;自动参照;nftables(表格);iptables;前列腺素f 引用于: 33文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 Netkat,网络的语义基础。 Zbl 1284.68100号卡罗琳·简·安德森;内特·福斯特;阿琼·古哈;Jeannin、Jean-Baptiste;德克斯特·科赞;科尔·施莱辛格;大卫·沃克 2014 NetKAT–网络验证的正式系统。 Zbl 1453.68051号德克斯特·科赞 2014 全部的 前5名65位作者引用 6 亚历山德拉·席尔瓦 5 托比亚斯·卡佩 4 内特·福斯特 4 德克斯特·C·科赞。 4 法比奥·扎纳西 三 保罗·布鲁内 三 康斯坦蒂诺斯·马穆拉斯 三 工资制造者,贾纳 2 乔治亚娜·卡尔泰斯 2 阿琼·古哈 2 约瑟夫·利弗西 2 巴斯·卢提克 2 Damien Pous 2 朱里安·罗特 2 昆卡罐Tunç 2 多米尼克·沃伊特扎克 1 艾尔维拉·阿尔伯特 1 卡列夫·阿尔佩纳斯 1 卡罗琳·简·安德森 1 规矩点,桑尼 1 乔治·卡尔 1 达斯,阿努帕姆 1 科尼利厄斯·迪克曼 1 阿米娜·杜曼 1 约坦·德维尔 1 埃利奥普洛斯、斯皮里顿 1 雅克·加里格 1 马尔文·加廷格 1 米盖尔·戈梅斯·扎马洛亚 1 马克西米利安·哈斯贝克。 1 彼得·霍夫纳 1 侯赛因霍贾特 1 拉尔斯·胡佩尔 1 米盖尔·伊莎贝尔 1 Jeannin、Jean-Baptiste 1 彼得·格约尔·詹森 1 大卫·M·卡恩。 1 奥哈德·卡玛 1 莫顿Konggaard Schou 1 奥里邦拉哈夫 1 Annabelle K.McIver。 1 朱利叶斯·迈克利斯 1 马可·米兰尼斯 1 穆罕默德·穆萨维 1 熊猫,Aurojit 1 罗宾·皮埃德鲁 1 亚历山大·拉比诺维奇 1 弗朗西斯科·兰扎托 1 马克·雷特布拉特 1 阿尔伯特·鲁比奥 1 穆利萨吉夫 1 马蒂奥·桑马蒂诺 1 科尔·施莱辛格 1 斯特凡·施密德 1 斯科特·J·申克。 1 莎伦·肖姆 1 贾格迪普·辛格 1 斯莫尔卡,斯特芬·尤尔夫 1 吉·斯尔巴 1 彼得·蒂曼。 1 德米特里·特拉泰尔 1 武藤熊本 1 范·杜伊恩(音) 1 胡安·瓦内里 1 纱线维纳 全部的 前5名7篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 2 计算机科学课堂讲稿 1 自动推理杂志 1 系统设计中的形式化方法 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 计算机科学评论 在4个字段中引用 33 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 1 结合环与代数(16-XX) 按年份列出的引文