VeriFlow公司 7份文件引用(2016–2022) 软件作者： A.Khurshid、X.Zou、W.Zhou、M.Caesar、P.B.Godfrey 相关软件： NetKAT；食蚁兽；VeriCon… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
食蚁兽 5份文件引用(2013–2022) 软件作者： Mai，H.、Khurshid，A.、Agarwal，R.、Caesar，M.、Godfrey，P.、King，S.T。 相关软件： VeriCon公司；NetKAT；VeriFlow… 主要字段： 计算机科学（68-XX）