NetKAT公司 33篇文献引用(2014–2023) 软件作者： Anderson，C.J.，Foster，N.，Guha，A.，Jeannin，J.-B.，Kozen，D.，Schlesinger，C.，Walker，D。 相关软件： 狂热；VeriFlow；食蚁兽… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；结合环与代数（16-XX）…
ProbNetKAT公司 7份文件引用(2017–2022) 软件作者： 斯莫尔卡、斯特芬；普拉文·库马尔（Praveen Kumar）；Nate Foster；德克斯特·科赞；亚历山德拉·席尔瓦 相关软件： NetKAT；棱镜；QPL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；测量和集成（28-XX）…
VeriFlow公司 7份文件引用(2016–2022) 软件作者： A.Khurshid、X.Zou、W.Zhou、M.Caesar、P.B.Godfrey 相关软件： NetKAT；食蚁兽；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
VeriCon公司 5份文件引用(2014–2021) 软件作者： Ball，T.、Bjorner，N.、Gember，A.、Itzhaky，S.、Karbyshev，A.、Sagiv，M.、Schapira，M.和Valadarsky，A。 相关软件： NetKAT；食蚁兽；Kuai… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BALTRAD公司 在0个文档中引用 软件作者： Michelson，D，Henja，A，Ernes，S，Haase，G，Koistinen，J，O ssiródka，K，Peltonen，T，Szewczykowski，M，Szturc 相关软件： wradlib；蟒蛇；Py-ART… 主要字段： ——
JESS公司 3份文件引用(2020–2022) 软件作者： Kalkan，K。；阿勒泰，L。；Gür，G。；Alagöz，F。 相关软件： NetKAT；SGS；SDSNM… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；Nate Foster；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲马托… 主要字段： 计算机科学（68-XX）
Kuai公司 2份文件引用(2019–2021) 软件作者： Majumdar，R.，Tetali，S.D.，Wang，Z。 相关软件： 食蚁兽；VeriCon公司；NetKAT… 主要字段： 计算机科学（68-XX）
认知 1份文件引用(2014) 软件作者： 艾米利亚坦塔尔；玛丽亚·丽塔（Maria Rita Palattella）；阿瓦内索夫，提格朗；Miroslaw Kantor；托马斯·恩格尔 相关软件： ParaDisEO公司 主要字段： 计算机科学（68-XX）
Flowfence公司 1份文件引用(2020) 软件作者： Piedrahita，A.F.M。；Rueda，S。；马托斯，D.M。；O.C.M.杜阿尔特 相关软件： NetKAT；SGS；SDSNM… 主要字段： 计算机科学（68-XX）
SGS公司 1份文件引用(2020) 软件作者： Wang，Y。；胡，T。；唐·G。；谢军。；卢，J。 相关软件： NetKAT；SDSNM；OpenFlowSIA… 主要字段： 计算机科学（68-XX）
StateSec（状态秒） 1份文件引用(2020) 软件作者： Boite，J。；Nardin，P.-A。；Rebecchi，F。；布埃特，M。；柯南，V。 相关软件： NetKAT；SGS；SDSNM… 主要字段： 计算机科学（68-XX）