Reluplex公司 71篇文献引用(2017–2024) 软件作者： 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件： 马拉博；AI2；NNV… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RAMAS风险计算 19份文件引用(2003–2023) 软件作者： 弗森S。 相关软件： 挪威国家石油公司；概率界限分析.jl；达科塔… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
p4伏 2份文件引用(2021–2022) 软件作者： Liu，J.、Hallahan，W.、Schlesinger，C.、Sharif，M.、Lee，J.，Soulé，R.、Wang，H.、Cašcaval，C.、McKeown，N.、Foster，N。 相关软件： 食蚁兽；DyNetiKAT；NetKAT… 主要字段： 计算机科学（68-XX）
BreakApp（中断应用程序） 在0个文档中引用 软件作者： Nikos Vasilakis、Ben Karel、Nick Roessler、Nathan Dautenhahn、AndréDeHon、Jonathan M.Smith 相关软件： 砂壳；普里夫曼；闭包库… 主要字段： –