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）…
探测网KAT 引用于7份文件(2017–2022) 软件作者： 斯莫尔卡、斯特芬；普拉文·库马尔（Praveen Kumar）；Nate Foster；德克斯特·科赞；亚历山德拉·席尔瓦 相关软件： NetKAT；棱镜；QPL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；测量和集成（28-XX）…
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；Nate Foster；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲尔马托… 主要字段： 计算机科学（68-XX）