×

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公司;莫德;探测网KAT;github;伊莎贝尔/HOL;伊莎贝尔;常规集合;Nettle公司;蟒蛇;p4伏;菲尔马托;自动参照;nftables(表格);iptables;前列腺素f
引用于: 33文件
全部的 前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 纱线维纳

按年份列出的引文