酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；喀拉喀托；z3… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
OBJ3型 140篇文献中引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；范畴理论；同调代数（18-XX）…
布吉 127篇文献引用(2007–2023) 软件作者： K.鲁斯坦M.莱诺 相关软件： z3；Why3；规范#… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
爆炸 111篇文献引用(2003–2022) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Jhala，Ranjit；鲁帕克马久姆达尔；格雷戈伊尔·萨特雷 相关软件： SLAM；CPA检查员；CBMC… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
西雅娜 75篇文献引用(2012–2023) 软件作者： J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。 相关软件： TensorFlow；亚当；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CBMC公司 88篇文献引用(2004–2023) 软件作者： Clarke E、Kroening D、Lerda F 相关软件： 爆炸；z3；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
序列4 92份文件引用（2009年-2023年） 软件作者： Klein，G.、Elphinstone，K.、Heiser，G.，Andronick，J.、Cock，D.、Derrin，P.、Elkaduwe，D.、Engelhardt，K.，Kolanski，R.、Norrish，M.、Sewell，T.、Tuch，H.、Winwood，S。 相关软件： Isabelle/HOL；Coq；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
摩卡 85篇文献引用(1999–2023) 软件作者： Alur，R.，Henzinger，T.A.，Mang，F.Y.C.，Qadeer，S.，Rajamani，S.K.，Tasiran，S。 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
皮诺奇 91份文件引用(2013–2023) 软件作者： 巴诺，B.，詹特里，C.，豪厄尔，J.，雷科娃，M。 相关软件： C的SNARK；马林鱼；GitHub… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；Coq；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；代数拓扑（55-XX）…
Caduceus公司 54篇文献引用(2005–2022) 软件作者： Jean-Christophe Filliátre，Claude Marché 相关软件： 喀拉喀托；Why3；布吉… 主要字段： 数理逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
CompCert公司 58篇文献引用（2009年-2023年） 软件作者： X·勒罗伊。 相关软件： Coq；Isabelle/HOL；z3… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
利赫罗 59篇文献引用(2018–2023) 软件作者： Ames，S.、Hazay，C.、Ishai，Y.、Venkitasubramaniam，M。 相关软件： 力比奥；ZKBoo；斯巴达人… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Frama-C公司 43篇文献引用（2009年-2023年） 软件作者： 帕特里克·鲍丁；理查德·博尼肯（Richard Bonichon）；洛伊克·科伦森；帕斯卡尔·库克；扎伊娜·达盖伊（Zaynah Dargaye）；Jean-Christophe Filliátre；菲利普·赫尔曼；克劳德·马奇；本杰明·莫纳特；扬尼克·莫伊；安妮·帕卡莱特；维吉尔·普雷沃斯托；朱利安·西莫尔斯和鲍里斯·亚科博夫斯基 相关软件： Coq；Why3；z3… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
卫星抗体 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；CPA检查器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
窥探 35篇文献引用(1994–2023) 软件作者： M Heiner、M Herajy、F Liu、C Rohr、M Schwarick 相关软件： 玛丽；CPN/工具；日晷… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）…
魔法 39篇文献引用（2003年至2020年） 软件作者： 萨加尔·查基；埃德蒙·克拉克；Jha，萨默什；赫尔穆特·维思 相关软件： ComFoRT；班德拉；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
茂物 27篇文献引用(2003–2014) 软件作者： 马修·德怀尔（Matthew B.Dwyer）。；约翰·哈特克利夫；马修·胡西尔（Matthew Hoosier）；马修·罗比 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SeaHorn公司 36篇文献引用(2015–2023) 软件作者： Gurfinkel，A.、Kahsai，T.、Komuravelli，A.、Navas，J.A。 相关软件： z3；垫片；CPA检查器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·唐泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
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）…
dSPIN码 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
天秤座 29篇文献引用（2019年-2023年） 软件作者： 谢天成；张家恒；张玉鹏；Papamanthou、Charalampos；宋，黎明 相关软件： 力比奥；斯巴达人；利盖罗… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
马拉布 26篇文献引用(2021–2024) 软件作者： Katz，G.，Huang，D.A.，Ibeling，D.，Julian，K.，Lazarus，C.，Lim，R.，Shah，P.，Thakoor，S.，Wu，H.，Zelji-C，A.，Dill，D.L.，Kochenderfer，M.J.，Barrett，C。 相关软件： Reluplex；NNV；AI2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
不明飞行物 22篇文献引用(2012–2022) 软件作者： Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件： CPA检查员；z3；爆炸… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
符号差异 20篇文献引用(2012–2023) 软件作者： Lahiri，S.、Hawblitzel，C.、Kawaguchi，M.、Rebelo，H。 相关软件： z3；布吉；CBMC… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）…
检查围栏 18篇文献引用(2007–2018) 软件作者： Burckhardt，S.，Alur，R.，Martin，M.K。 相关软件： veriSoft；自旋蛋白；UMM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
捕食者 15篇文献引用(2012–2021) 软件作者： 卡米尔·杜德卡；彼得·米勒；彼得·佩林格（Petr Peringer）；汤姆·沃纳 相关软件： CPA检查员；CBMC；幻灯片… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
无级变速器 18篇文献引用(1998–2021) 软件作者： 普努利，A。；Shtrickman，O。；西格尔，M。 相关软件： TVOC；CVC；系统C… 主要字段： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
推断 15篇文献引用(2015–2023) 软件作者： Calcagno，C.，Distefano，D。 相关软件： 幻灯片；小脚；HIP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
铁人舰队 16篇文献引用(2017–2023) 软件作者： Hawblitzel，C。；豪厄尔，J。；卡普里索斯，M。；Lorch，J.R。；巴诺，B。；罗伯茨，M.L。；塞蒂，S.T.V。；齐尔，B 相关软件： z3；达夫尼；常春藤… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
飞天螳螂 14篇文献引用(2009–2017) 软件作者： 克雷默斯，C。 相关软件： AVISPA；阿克斯；塔马林… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
HOL-Boogie公司 14篇文献引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.Rustan M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
螺纹加工工 12份文件引用（2012年至2020年） 软件作者： 科内留·波皮亚（Corneliu Popeea）；安德烈·里巴尔琴科 相关软件： CPA检查员；SLAM；CBMC… 主要字段： 计算机科学（68-XX）
YOGI公司 13份文件引用(2010–2022) 软件作者： Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Adityas V.Thakur 相关软件： z3；投掷；可爱… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
科根（Cogent） 在11份文件中引用(2005–2018) 软件作者： 库克，拜伦；Daniel Kroening；娜塔莎·莎莉吉娜 相关软件： 卫星抗体；简化；旋转… 主要字段： 数理逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
GKLEE公司 在11份文件中引用(2013–2022) 软件作者： 李·G、李·P、萨瓦亚·G、戈帕拉克里希南·G、高什·I、拉詹·S.P。 相关软件： CUDA；GPU验证；OpenCL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
跟踪器 14篇文献引用(2012–2022) 软件作者： Jaffar，J.、Navas，J.A.、Santosa，A.E。 相关软件： SeaHorn；z3；VeriMAP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
C-浅色 12份文件引用(2002–2019) 软件作者： 瓦莱里·A·内波尼亚西希（Valery A.Neponminaschy）、伊戈尔·阿努列夫（Igor S.Anureev）、阿列克谢·普罗姆斯基（Alexey V.Promsky） 相关软件： 原子；VCC；布吉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
DD验证 9份文件引用(2009–2019) 软件作者： Witkowski，T.、Blanc，N.、Kroening，D.、Weissenbacher，G 相关软件： SLAM；CBMC；卫星… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
高铁 在11份文件中引用(2012–2021) 软件作者： Grebenshchikov，S.、Gupta，A.、Lopes，N.P.、Popeea，C.、Rybalchenko，A。 相关软件： z3；CiaoPP；再见… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
versat公司 13份文件引用(2012–2022) 软件作者： Oe，Duckki；阿伦·斯塔姆（Aaron Stump）；科里·奥利弗；凯文·克兰西 相关软件： Isabelle/HOL；Coq；箔条… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
凯撒 在11份文件中引用(2004–2021) 软件作者： 休伯特·加拉维；Wendelin Serwe；INRIA罗纳阿尔卑斯山 相关软件： CADP；NUPN_INFO；caesar.bdd… 主要字段： 计算机科学（68-XX）
网络服务提供商 9份文件引用(2008–2018) 软件作者： 科马克·弗拉纳根（Cormac Flanagan）；帕特丽斯·戈德弗里德 相关软件： KLEE公司；自旋蛋白；veriSoft… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
聚乙烯/ML 在11份文件中引用(2011–2020) 软件作者： 大卫马修斯 相关软件： 伊莎贝尔；Isabelle/HOL；HOL… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
西尔文 在11份文件中引用(2020–2023) 软件作者： van Dijk，T。；范德波尔，J。 相关软件： LTSmin公司；棱镜；BuDDy… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
CertiKOS公司 在11份文件中引用(2017–2022) 软件作者： Gu，R.，Shao，Z.，Chen，H.，Wu，X.N.，Kim，J.，Sjöberg，V.，Costanzo，D。 相关软件： seL4；Coq；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
贾霍布 在11份文件中引用(2007–2022) 软件作者： Kuncak，V.、Wies，T.、Zee，K.、Malkis，A.、Bouillaguet，C.、Nguyen，H.H.、Schmitt，P。 相关软件： z3；吸血鬼；布吉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
贾斯 5份文件引用(2005–2009) 软件作者： Bartetzko，医学博士，Fischer，C.，Wehrheim，H。 相关软件： JML；埃菲尔；规范#… 主要字段： 计算机科学（68-XX）
克拉托斯 10篇文献引用(2011–2022) 软件作者： A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件： 爆炸；系统C；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
LOTOSphere公司 6篇文献引用(2000–2015) 软件作者： T.Bolognesi、J.van de Lagemaat、C.Vissers 相关软件： LOTOS；并发工作台；HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
终极Automizer 8份文件引用（2015年至2022年） 软件作者： 马提亚斯·海兹曼；耶尔根基督；丹尼尔·迪特施（Daniel Dietsch）；埃夫伦·埃尔米斯（Evren Ermis）；Jochen Hoenicke；马库斯·林登曼；亚历山大·纳茨（Alexander Nutz）；席林（Christian Schilling）；安德烈亚斯·波德尔斯基 相关软件： SMT互联网；CBMC；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
VST-弗洛伊德 9份文件引用(2018–2023) 软件作者： 曹勤祥；Lennart Beringer；塞缪尔·格鲁特（Samuel Gruetter）；多兹，约西亚；安德鲁·W·阿佩尔。 相关软件： Coq；工具链；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ESBMC公司 4份文件引用(2014–2020) 软件作者： 南安普顿大学、斯泰伦博什大学、亚马逊河联邦大学；卢卡斯·科尔代罗（Lucas Cordeiro）；杰里米·莫尔斯（Jeremy Morse）；丹尼斯·尼科尔；伯恩德·菲舍尔 相关软件： CBMC；LLBMC；爆炸… 主要字段： 计算机科学（68-XX）
F外壳 6篇文献引用(2010–2016) 软件作者： 安德烈亚斯·霍尔泽（Andreas Holzer）；克里斯蒂安·夏尔哈特；迈克尔·陶奇尼格（Michael Tautschnig）；赫尔穆特·维思 相关软件： Java PathFinder；CPA检查员；RapiTime… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
LIRA公司 7份文件引用（2008年至2021年） 软件作者： Becker，B.、Dax，C.、Eisinger，J.、Klaedtke，F。 相关软件： 睫毛；cvc3；TaPAS… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
P绑定 8份文件引用(2013–2020) 软件作者： Kahsai T，Tinelli C公司 相关软件： SeaHorn；CTIGAR；CPA检查器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
斯托克Hy 8份文件引用（2019年-2023年） 软件作者： Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件： 棱镜；FAUST2；SReachTools… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
ASPIER公司 6篇文献引用(2011–2023) 软件作者： Chaki，S；达塔，A。 相关软件： ProVerify；NAXOS；EasyCrypt… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
电子音量检查 7份文件引用(2013–2022) 软件作者： 格里戈里·费德尤科维奇；Ondrej Sery；娜塔莎·莎莉吉娜 相关软件： 佩里普洛；FunFrog；SymDiff… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
消防员 5份文件引用(2009–2018) 软件作者： 袁，L。；Mai，J。；苏，Z。；陈，H。；Chuah，C.N。；莫哈帕特拉，P。 相关软件： 马尔格雷夫；菲尔马托；HOL测试生成… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
弗罗斯特 7份文件引用(2021–2022) 软件作者： 科姆洛，C.，戈德堡，I。 相关软件： MuSig2；github；U-Prove… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
蛋白石 6篇文献引用(2012–2021) 软件作者： Dalsgaard，A.E.、Hansen，R.R.、Jörgensen，K.Y.、Larsen，K.G.、Olesen，M.C.、Olsen，P.、Srba，J。 相关软件： Uppaal；算法97；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
快速鸡 7份文件引用（2015年至2022年） 软件作者： Paraskevopoulou，佐伊；Hriţcu，科特林；邓内斯，马克西姆；Lampropoulos，列奥尼达斯；本杰明·皮尔斯。 相关软件： 快速检查；PVS；Coq… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
英国皇家海军陆战队 6篇文献引用(2020–2022) 软件作者： Niemetz，A。；普雷纳，M。；沃尔夫，C。；比尔，A。；节流阀，H。；G·威森巴赫 相关软件： Boolector；爱格；Yosys… 主要字段： 计算机科学（68-XX）
C-SHORe公司 6篇文献引用(2013–2017) 软件作者： 克里斯托弗·布劳德本特（Christopher Broadbent）；Carayol，阿诺；马修·黑格；奥利维尔·塞雷 相关软件： AProVE；廷巴克；MoCHi… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CARAT公司 4份文件引用(2008–2011) 软件作者： 黄J，魏W，陈J，张J，刘G，狄X，梅R，石川S，Aburatani H，Jones K W，等。 相关软件： 血浆；R；PICNIC… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
COSMOS公司 6篇文献引用(2013–2021) 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： 棱镜；Ymer；VESTA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
KeY-C公司 5份文件引用（2009年-2023年） 软件作者： 穆尔克，奥列格；丹尼尔·拉尔森（Daniel Larsson）；雷纳·哈内尔 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
莫塞尔 5份文件引用(1997–2018) 软件作者： P.Kelb、T.Margaria、M.Mendler、C.Gsottberger 相关软件： MONA；Z；EMBOSS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
StEAM公司 3份文件引用(2004–2011) 软件作者： 彼得·莱文（Peter Leven）；蒂尔曼·梅勒；Stefan Edelkamp 相关软件： 自旋蛋白；卫星抗体；Zing… 主要字段： 计算机科学（68-XX）
tcp包 6篇文献引用(2018–2021) 软件作者： 古纳万，公元前；卢，B。；张，L。 相关软件： S-Cluster++；算法447；ComputeTW… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
意大利烟草协会 5份文件引用(2011–2015) 软件作者： Cámara，J。；马汀，J.A。；Salaün，G。；库博，J。；Ouederni，M。；运河，C。；皮门特尔，E。 相关软件： 莫德；LTSA-WS；WSAT… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；芒，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
懒惰的CSeq 4份文件引用(2015–2018) 软件作者： 弗拉基米尔·赫特；Le，Hoang M。；丹尼尔·格罗（Daniel Große）；罗尔夫·德雷克斯勒 相关软件： CBMC；Cseq；MU-CSeq… 主要字段： 计算机科学（68-XX）
RazerS（剃须刀） 4份文件引用(2010–2022) 软件作者： 韦斯，D.，霍尔特格鲁，M.，雷内特，K。 相关软件： BWA；SeqAn；蝴蝶结2… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Aximo公司 4份文件引用(2009–2016) 软件作者： 理查兹，S.，M.萨达德 相关软件： 演示；佩斯卡 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
CDCLSym公司 4份文件引用(2018–2023) 软件作者： 哈坎·梅廷；苏海卜·巴里尔；科朗格，马克西米利安；Fabrice Kordon公司 相关软件： MiniSat；SymChaff；PSATO… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
帮助者OC 3份文件引用(2020–2022) 软件作者： 索米尔·班萨尔、莫·陈、西尔维娅·赫伯特、克莱尔·汤姆林 相关软件： 工具箱LS；皮尔科；Python… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
马尔格雷夫 3份文件引用（2018年至2019年） 软件作者： Nelson，T.、Barratt，C.、Dougherty，D.J.、Fisler，K.、Krishnamurthi，S.：T 相关软件： 科科德；z3；合金*… 主要字段： 计算机科学（68-XX）
PaSAT公司 3份文件引用(2009–2020) 软件作者： Sinz，C.，Blochinger，W.，Küchlin，W。 相关软件： 帕米拉；PSATO；玲玲… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
RiTHM公司 4份文件引用(2015–2020) 软件作者： Navabpour S、Joshi Y、Wu CWW、Berkovich S、Medhat R、Bonakdarpour B、Fischmeister S 相关软件： CBMC；NuSMV；旋转… 主要字段： 计算机科学（68-XX）
ROS监测 2份文件引用(2021–2023) 软件作者： A.Ferrando、R.C.Cardoso、M.Fisher、D.Ancona、L.Franceschini、V.Mascardi 相关软件： SPOT；超张力；MCMAS… 主要字段： 计算机科学（68-XX）
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured；Coq；有限责任公司 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
桑特 1份文件引用（2018年） 软件作者： 奥马尔·切巴罗；尼古拉·科马托夫；阿兰·乔尔盖蒂；雅克·朱利安德 相关软件： Frama-C；PathCrawler；Coq… 主要字段： 计算机科学（68-XX）
维塔夫 2份文件引用(2013) 软件作者： S.-W Lin、S.-W Lin、C.-H Tseng、T.-Y Lee、J.-M.Fu 相关软件： 细胞；MARTE公司；英特尔TBB… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
阿斯特拉维尔 2份文件引用(2021–2022) 软件作者： 格里戈里·沃尔科夫、米哈伊尔·曼德利金、丹尼斯·埃弗雷莫夫 相关软件： Coq；Why3；Dafny… 主要字段： 计算机科学（68-XX）