棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
NuSMV公司 281份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马尔科·罗弗里；罗伯特·卡瓦达（Roberto Cavada）、米歇尔·多里加蒂（Michele Dorigatti）、亚历山德罗·马里奥蒂（Alessandro Mariotti），安德烈亚·米切利（Andrea Micheli）、塞尔吉奥·莫弗（Sergio Mover）、马可·罗维里（Marco Rover 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CUDD公司 158份文件引用(1997–2023) 软件作者： 法比奥·萨蒙齐 相关软件： NuSMV；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
贝博普 引用于71份文件(2000–2022) 软件作者： 托马斯·鲍尔（Thomas Ball，Sriram K.Rajamani） 相关软件： 自旋蛋白；班德拉；SLAM… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
伙计 26篇文献引用(1999–2023) 软件作者： 乔恩·林德·尼尔森 相关软件： CUDD；西尔文；PolyBoRi… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
兔子 23篇文献引用（2001年至2022年） 软件作者： 德克·拜尔；Lewerentz，克劳斯；安德烈亚斯·诺亚克 相关软件： Uppaal；克罗诺斯；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
SIGREF公司 15篇文献引用（2006年至2022年） 软件作者： 拉尔夫·威默（Ralf Wimmer）；马克·赫伯斯特里特；赫尔曼斯，霍尔格；凯利·斯特兰普；贝恩德·贝克尔 相关软件： 棱镜；MRMC；CADP… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
紫苏 14篇文献引用(2007–2022) 软件作者： 马库斯·贝勒 相关软件： Matlab；Normaliz；PPL… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
解除束缚 12份文件引用（2011年-2023年） 软件作者： 吕迪格·埃勒斯 相关软件： 相思树+；条纹；BoSy… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SBSAT卫星 10篇文献引用(2004–2023) 软件作者： 约翰·佛朗哥；米查尔·库里尔；约翰·施利普夫（John Schlipf）；杰弗里·沃德；肖恩·韦弗（Sean Weaver）；迈克尔·德兰斯菲尔德；W.Mark范弗利特 相关软件： 不可抗力；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
武力 10篇文献引用(2005–2023) 软件作者： 阿卢尔，F.A。；马尔可夫，I.L。；萨卡拉，K.A。 相关软件： SBSAT；糠；MiniSat… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马戏团 9份文件引用(2004–2017) 软件作者： Jin，HoonSang；法比奥·萨蒙齐 相关软件： 糠；CUDD；zChaff… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
盒 6篇文献引用(2010–2020) 软件作者： Gurfinkel，A.，Chaki，S。 相关软件： 停机坪；不明飞行物；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
消防员 5份文件引用(2009–2018) 软件作者： 袁，L。；Mai，J。；苏，Z。；陈，H。；Chuah，C.N。；莫哈帕特拉，P。 相关软件： 马尔格雷夫；菲尔马托；HOL-TestGen… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BDDNOW公司 6篇文献引用(2000–2011) 软件作者： Kim Milvang-Jensen、Alan J.Hu 相关软件： Gprof；Sycraft；CUDD… 主要字段： 计算机科学（68-XX）
Meddly公司 5份文件引用(2011–2021) 软件作者： 安德鲁·米纳（Andrew Miner）；朱奈德·巴巴尔 相关软件： GreatSPN；ITS工具；TINA… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
BALM-II型 2份文件引用(2015–2020) 软件作者： 卡斯蒂蒂内蒂，G.，皮科洛，M.，维拉，T。 相关软件： 多发性硬化 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
繁荣 在0个文档中引用 软件作者： Gerard Basler；马修·黑格；Daniel Kroening；Ong，C.H.卢克；托马斯·沃尔（Thomas Wahl）；赵浩贤 相关软件： 卫星抗体 主要字段： –
日 2份文件引用(2021–2022) 软件作者： 菲利皮迪斯，我 相关软件： CUDD；dReal；ETMetera… 主要字段： 数论（11-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
BDD单位Kt 1份文件引用（2013年） 软件作者： 拉杰夫·戈尔；汤姆森，吉米 相关软件： Imogen；fCube；BuDDy… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
密码路径 1份文件引用(2021) 软件作者： 约翰·彼得·因德罗伊；尼古拉斯·科斯特斯（Nicolas Costes）；赫瓦尔德拉德姆 相关软件： MARVELlous公司；ADD-标签；dd… 主要字段： 数论（11-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
感觉 1份文件引用(2019) 软件作者： M.Khaled、M.Rungger、M.Zamani 相关软件： BDD2机具；p面；ROCS… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
TBUDDY（待定） 1份文件引用(2023) 软件作者： Randal E.布莱恩特。 相关软件： Paracooba；基萨特；SBSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）