Coq公司 1974年文献引用(1993–2024) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
JML公司 161篇文献引用(2000–2023) 软件作者： 加里·利文斯（Gary T.Leavens）；Yoonsik Cheon公司 相关软件： 规范#；埃菲尔；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
CASL公司 174篇文献引用（1999年-2023年） 软件作者： 蒂尔·莫萨科夫斯基 相关软件： OBJ咖啡馆；赫茨；莫德… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
落叶松 105篇文献引用(1989–2023) 软件作者： John V.Guttag。；詹姆斯·霍宁。 相关软件： JML；埃菲尔；PVS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
MCMAS公司 86篇文献引用(2006–2023) 软件作者： 阿莱西奥·洛穆西奥（Alessio Lomuscio）、洪阳区（Hongyang Qu）、弗兰科·雷蒙迪（Franco Raimondi） 相关软件： MCK；摩卡；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
赫茨 65篇文献引用(2005–2023) 软件作者： Mossakowski，T.、Maeder，C.、Lüttich，K。 相关软件： CASL；Isabelle/HOL；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
阿贝拉 57篇文献引用(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
信号 51篇文献引用(1987–2020) 软件作者： 大卫·诺瓦克；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
阿斯毫升 45篇文献引用(2001–2023) 软件作者： 微软研究院；格里斯坎普，W。；古雷维奇·Y。 相关软件： 毫升；SpecExplorer；科拉特… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
CoFI公司 40篇文献引用(1997–2017) 软件作者： 彼得·莫塞斯（Peter D.Mosses）。 相关软件： CASL；ATERM；玛雅… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…
国防科技部 33篇文献引用(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal；高科技… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
JUnit公司 16篇文献引用(2002–2022) 软件作者： Yoonsik Cheon；Gary T.Leavens。 相关软件： JML；埃菲尔；ESC/Java… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OFMC公司 25篇文献引用（2005年至2022年） 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
本质 27篇文献引用(2008–2023) 软件作者： 艾伦·M·弗里希（Alan M.Frisch）。；沃里克·哈维；克里斯·杰斐逊（Chris Jefferson）；马丁内斯·埃尔南德斯（Martínez-Hernández），伯纳黛特（Bernadette）；伊恩·米格尔 相关软件： 微量锌；锌；ESRA… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；量子理论（81-XX）…
马亚 23篇文献引用(2002–2015) 软件作者： Dieter Hutter；谢尔盖·奥特西尔 相关软件： CASL；米扎尔；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
繁荣 23篇文献引用(2000–2009) 软件作者： 路易斯·丹尼斯（Louise A.Dennis）。；格雷厄姆·柯林斯；迈克尔·诺里什（Michael Norrish）；理查德·博尔顿（Richard Boulton）；斯林德，康拉德；格雷厄姆·罗宾逊（Graham Robinson）；迈克·戈登；汤姆·梅尔姆 相关软件： PVS；OMRS；甘道夫… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
洛拉 23篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等人。 相关软件： 蒙保利；Java-MOP；LUSTRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
HOL-OCL公司 13份文件引用(2002–2016) 软件作者： 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 相关软件： ATL；凯伊；ETPS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PAG公司 20篇文献引用(1996–2018) 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；BLAS；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
UniTESK公司 14篇文献引用(2002–2015) 软件作者： 俄罗斯科学院系统编程研究所 相关软件： SpecExplorer；投掷；可爱… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CertiCoq认证 引用于17份文件(2017–2022) 软件作者： Anand，A.，Appel，A.，Morrisett，G.，Paraskevopoulou，Z.，Pollack，R.，Belanger，O.S.，Sozeau，M.，Weaver，M。 相关软件： Coq；CakeML；OEuf… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
菲亚特 引用于17份文件(2015–2022) 软件作者： Delaware，B.，Claudel，C.P.，Gross，J.，Chlipala，A。 相关软件： Coq；Isabelle/HOL；CertiCoq… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
HasCasl公司 引用于17份文件(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
MMT公司 13份文件引用(2007–2019) 软件作者： Fabricio Chalub；克里斯蒂亚诺·布拉加 相关软件： 莫德；K校准仪；JavaFAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
孢子虫 11份文件引用(2011–2020) 软件作者： Lennart C.L.Kats；埃尔科·维瑟 相关软件： Stratego；JastAdd；SugarJ… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
PlusCal（加号） 10篇文献引用(2009–2023) 软件作者： 莱斯利·兰波特 相关软件： 自旋蛋白；薄层色谱法；TLA… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
社会可视化者 8份文件引用(2007–2013) 软件作者： 亚历山大·阿提基斯；马雷克·塞尔戈特（Marek Sergot）；杰里米·皮特 相关软件： 岛国；CCalc；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VPM公司 4份文件引用(2005–2007) 软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza） 相关软件： VIATRA2；进度；AGG… 主要字段： 计算机科学（68-XX）
DEDALE公司 7份文件引用(2001–2010) 软件作者： S.Grumbach、P.Rigaux、L.Segoufin 相关软件： CCUBE；抒情的；Oracle… 主要字段： 近似和展开（41-XX）；计算机科学（68-XX）
WebGL公司 6篇文献引用(2015–2019) 软件作者： Khronos集团 相关软件： R；节点.js；OpenGL… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
LoPSiL公司 5份文件引用(2009–2023) 软件作者： 杰·利加蒂（Jay Ligatti）；比利·里基；纳林·赛加尔 相关软件： 方面J；BCEL；TaintDroid公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
模糊的 7份文件引用(1985–2017) 软件作者： 托马斯·莱曼；雅克·勒克斯 相关软件： Nuprl公司；LCF；曼蒂萨… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；动力系统和遍历理论（37-XX）…
皮尔斯纳 7份文件引用(2015–2021) 软件作者： 乔治·奈斯（Georg Neis）；Hur，Chung Kil先生；Kaiser，Jan-Oliver；Craig McLaughlin；德雷尔，德里克；维克托·瓦菲亚迪斯 相关软件： Coq；CakeML；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
URSA公司 6篇文献引用(2012–2022) 软件作者： 贾尼奇，P。 相关软件： z3；卡环；MiniSat… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
CCUBE公司 4份文件引用(1997–2013) 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情诗；DEDALE… 主要字段： 计算机科学（68-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
梅林 5份文件引用(2013–2017) 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
Rely公司 5份文件引用(2018–2022) 软件作者： M.Carbin、S.Misailovic、M.Rinard 相关软件： 胡迪尼；APL；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
StreamQRE（流QRE） 5份文件引用(2019–2023) 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
X乌干达 4份文件引用(2005–2018) 软件作者： 布拉布兰德，克劳斯；莫勒，安德斯；迈克尔·施瓦茨巴赫。 相关软件： 放松NG；biXid；dk.brics.自动机… 主要字段： 计算机科学（68-XX）
G小调 4份文件引用(2010–2019) 软件作者： 安德鲁·麦克里特（Andrew McCreight）；骑士，蒂姆；安德鲁·托尔马赫 相关软件： Coq；CompCert；CompCertTSO… 主要字段： 计算机科学（68-XX）
有罪不罚 4份文件引用(1998–2008) 软件作者： 戈曼，H.J.M。；Kok，J.N。；塞雷，K。；Udink，R.T.ti：《有罪不罚框架中的协调》。 相关软件： – 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
卡米 4份文件引用(2018–2021) 软件作者： Choi，J.、Vijayaraghavan，M.、Sherman，B.、Chlipala，A.、Arvind 相关软件： Coq；github；Coquet… 主要字段： 计算机科学（68-XX）
采矿锌 4份文件引用(2017–2019) 软件作者： 枪支，蒂亚斯；安东·德里斯（Anton Dries）；齐格弗里德·尼杰森；塔克，吉多；吕克·德·雷德特 相关软件： 通用电气；本质；迷你锌… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
时代广场 3份文件引用(2015–2016) 软件作者： 朱利安·德安东尼（Julien DeAntoni），弗雷德里克·马莱特（Frédéric Mallet） 相关软件： 酯类；Uppaal；信号… 主要字段： 计算机科学（68-XX）
未绑定 4份文件引用(2011–2019) 软件作者： 斯蒂芬妮·威里奇；布伦特·A·约基。；蒂姆·谢尔德 相关软件： Isabelle/HOL；Psi-calculi；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
蒙哥 3份文件引用(2018–2020) 软件作者： 库扎帕斯、迪米特里奥斯；奥尔内拉·达达；罗利·佩雷拉；西蒙·盖伊。 相关软件： session-ocaml；睫毛；z3型 主要字段： 计算机科学（68-XX）
PiXL系列 引用于1份文件(2007) 软件作者： 玛丽亚·德尔马·加拉多（del Mar Gallardo）；马丁内斯，杰苏斯；佩德罗·梅里诺；努涅斯，巴勃罗；埃内斯托·皮门特尔 相关软件： 凯撒；CAESAR_SOLVE公司；班德拉… 主要字段： 计算机科学（68-XX）
塞马诺 3份文件引用(1976–1984) 软件作者： 安德森，E.R。；Belz，F.C。；布鲁姆，E.K。 相关软件： ALGOL 68；Refal；阿尔戈尔60 主要字段： 一般代数系统（08-XX）；交换代数（13-XX）；群论与推广（20-XX）…
简单APL 3份文件引用(2006–2016) 软件作者： Alechina，N。；Dastani，M。；Khan，F。；洛根，B。；梅耶，J.-J.Ch。 相关软件： 2APL；AgentSpeak；杰森… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ADL2（ADL2） 2份文件引用(1995–2001) 软件作者： Masaharu Obayashi；久保田；Shane P.McCarron；莱昂内尔·马勒 相关软件： ADL公司 主要字段： 计算机科学（68-XX）
AJPF公司 2份文件引用(2013–2018) 软件作者： 路易斯·丹尼斯（Louise A.Dennis）。；Michael Fisher；马特·韦伯斯特 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 计算机科学（68-XX）
asm.js公司 2份文件引用(2017–2019) 软件作者： D.Herman、L.Wagner、A.Zakai 相关软件： spatiasql.js；数学.js；TensorFlow.js… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CSimpl公司 2份文件引用(2017) 软件作者： Sanán，D.，Zhao，Y.，Hou，Z.，Zhang，F.，Tiu，A.，Liu，Y。 相关软件： seL4；Isabelle/HOL；区域设置… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
德尔塔J 2份文件引用(2018) 软件作者： Koscielny，J.、Holthusen，S.、Schaefer，I.、Schulze，S.和Bettini，L.、Damiani，F。 相关软件： VerCors；酯类；毒蛇… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
ExaSlang（考试俚语） 2份文件引用(2020–2022) 软件作者： C.Schmitt、S.Kuckuk、F.Hannig、H.Köstler、J.Teich 相关软件： ExaStencils；节日；MODESTO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
IEEE_浮动点 2份文件引用(2015–2019) 软件作者： 雷，于 相关软件： 存档正式证据；埃德蒙兹-卡普；Knuth Morris Pratt… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
在轨 引用于1份文件(2014) 软件作者： James，P.、Trumble，M.、Treharne，H.、Roggenbach，M.和Schneider，S。 相关软件： ModalCasl模式；PVSio-网；E定理证明器… 主要字段： 计算机科学（68-XX）
奥姆皮语 引用于1份文件(2006) 软件作者： McCandless BC、Squires JM、Lumsdaine A。 相关软件： 磁粉探伤 主要字段： 数值分析（65-XX）；流体力学（76-XX）
TerpreT公司 在0个文档中引用 软件作者： 亚历山大·冈特（Alexander L.Gaunt）、马克·布洛克施密特（Marc Brockschmidt 相关软件： Scikit；小丑；按下… 主要字段： –
TRAM公司 2份文件引用(1997–2014) 软件作者： 绪方，Kazuhiro；Masaru Kondo；Ioroi，Shigenori；高基町五指 相关软件： OBJ咖啡馆；莫德；CITP… 主要字段： 计算机科学（68-XX）
BET公司 在0个文档中引用 软件作者： 斯里哈里·卡尔吉；戈萨尔、希拉格；Gawde，Prasad；加内什·罗摩克里希南；加达，凯金；Chander Iyer；基兰，T.V.S；阿什温·斯里尼瓦桑 相关软件： 阿列夫；YAP-Prolog；威卡… 主要字段： –
深海 引用于1份文件(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc-verify；版本X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
dlvhex-sparql 引用于1份文件(2013) 软件作者： Polleres，A.、Schindlauer，R。 相关软件： R2RML；乌龟；nSPARQL… 主要字段： 计算机科学（68-XX）
森林 在0个文档中引用 软件作者： 凯瑟琳·费希尔（Kathleen Fisher）；Nate Foster；大卫·沃克（David Walker）；Zhu，Kenny Q。 相关软件： Graphviz公司 主要字段： –
异质基因 引用于1份文件(2022) 软件作者： Gimenez，M.，Moscato，M.M.，Lopez Pombo，C.G.，Frias，M.F。 相关软件： OBJ咖啡馆；Nitpick公司；Kodkod… 主要字段： 计算机科学（68-XX）
丽莎 引用于1份文件(1998) 软件作者： 阿卜杜勒瓦赫卜·阿亚里；David Basin；安德烈亚斯·波德尔斯基 相关软件： 莫塞尔；STeP；MONA公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
短语SED-ML 在0个文档中引用 软件作者： Kiri Choi、Lucian P.Smith、J.Kyle Medley、Herbert M.Sauro 相关软件： AMIGO公司；碲；CellML… 主要字段： –
ProBO公司 在0个文档中引用 软件作者： Willie Neiswanger、Kirthevasan Kandasamy、Barnabas Poczos、Jeff Schneider、Eric Xing 相关软件： 超波段；DARTS；GPyOpt… 主要字段： 计算机科学（68-XX）