CEGAR公司 38篇文献引用(2006–2022) 软件作者： 赫尔曼斯，霍尔格；比约恩·瓦希特；张丽君 相关软件： 棱镜；通过；MRMC… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
显示 22篇文献引用(1993–2021) 软件作者： Andraus，Zaher S。；Mark H.Liffiton。；卡伦·萨卡拉。 相关软件： 迷你卫星；MUSer2；HMQV… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CTIGAR公司 11份文件引用(2016–2022) 软件作者： Birgmeier，J.、Bradley，A.R.、Weissenbacher，G。 相关软件： z3；PySMT；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）
HARE（兔子） 4份文件引用(2013–2020) 软件作者： 帕维特拉·普拉巴卡；杜吉拉拉，帕拉萨拉·斯里达尔；密特拉，萨扬；马赫什·维斯瓦纳坦 相关软件： SpaceEx；违约；S-TaLiRo… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；对照（93-XX）
SymmPa公司 引用于3份文件(2012–2017) 软件作者： 阿拉斯泰尔·唐纳森。；亚历山大·凯撒；Daniel Kroening；Michael Tautschnig；托马斯·沃尔 相关软件： 螺纹工；魔法；ASTREE… 主要字段： 计算机科学（68-XX）