棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
高超声速 320篇文献引用(1996–2024) 软件作者： 汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 相关软件： Uppaal；PHAVer公司；Kronos… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
NuSMV公司 279篇文献引用（1999年-2023年） 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马可·罗维里（Marco Roveri）；罗伯特·卡瓦达（Roberto Cavada）、米歇尔·多里加蒂（Michele Dorigatti）、亚历山德罗·马里奥蒂（Alessandro Mariotti），安德烈亚·米切利（Andrea Micheli）、塞尔吉奥·莫弗（Sergio Mover）、马可·罗维里（Marco Rover 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
UPPAAL TIGA公司 47篇文献引用(2007–2023) 软件作者： Behrmann，G.、Cougnard，A.、David，A.、Fleury，E.、Larsen，K.G.、Lime，D。 相关软件： Uppaal；棱镜；Synthia… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
nuXmv（数字） 引用于44份文件(2015–2023) 软件作者： 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件： z3；NuSMV；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
向上2k 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）…
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
垫片 30篇文献引用(2015–2023) 软件作者： 科穆拉维利，安维什；阿里·古芬克尔；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
APMC公司 29篇文献引用(2004–2021) 软件作者： 托马斯·Hérault；理查德·拉斯因；弗雷德里克·马涅特；西尔万·佩伦内特 相关软件： 棱镜；Uppaal；风暴… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
Mcmt公司 27篇文献引用（2010年-2023年） 软件作者： 吉拉尔迪·S、兰妮丝·S 相关软件： 隔间；SMT-LIB；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LTSmin公司 在25份文件中引用（2011年-2023年） 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布罗姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者： 麦克米兰K·L。 相关软件： NuSMV；自旋蛋白；SPOT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）
Quantor公司 23篇文献引用(2005–2023) 软件作者： 阿明·比尔 相关软件： 斯基佐；QUBOS公司；部门QBF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
科根（Cogent） 11份文件引用(2005–2018) 软件作者： 库克，拜伦；Daniel Kroening；娜塔莎·莎莉吉娜 相关软件： 卫星抗体；简化；旋转… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SMV公司 13份文件引用(1986–2018) 软件作者： Ed Clarke；K.L.McMillan；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer公司；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
JPF-SE公司 6篇文献引用(2011–2021) 软件作者： Anand S、Pasareanu CS、Visser W 相关软件： Java PathFinder；投掷；可爱… 主要字段： 计算机科学（68-XX）
克拉托斯 10篇文献引用(2011–2022) 软件作者： A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件： 爆炸；系统C；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ITS工具 10篇文献引用(2019–2023) 软件作者： Yann Thierry-Mieg公司 相关软件： TINA；LTSmin公司；TAPAAL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SAL公司 5份文件引用(2004–2021) 软件作者： 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比 相关软件： 自旋蛋白；PVS；升起… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
交通 8份文件引用(2015–2022) 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简化… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
可视化状态 7份文件引用(1999–2010) 软件作者： 林德·尼尔森，约恩；安徒生、亨利克·雷夫；亨利克·胡尔加德（Henrik Hulgaard）；Gerd Behrmann；Kristoffersen，科勒；金·拉森 相关软件： CBMC；APS；NuSMV… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统理论；控制（93-XX）
佩里普洛 8份文件引用(2013–2022) 软件作者： 罗里尼（Simone Fulvio）；Alt，Leonardo；格里戈里·费迪尤科维奇；Hyvärinen，Antti E.J。；娜塔莎·莎莉吉娜 相关软件： eVolCheck；FunFrog；OpenSMT2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ASPIER公司 6篇文献引用（2011年-2023年） 软件作者： 查基，S；达塔，A。 相关软件： ProVerify；NAXOS；EasyCrypt… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
消防员 5份文件引用(2009–2018) 软件作者： 袁，L。；Mai，J。；苏，Z。；陈，H。；Chuah，C.N。；莫哈帕特拉，P。 相关软件： 马尔格雷夫；菲尔马托；HOL-TestGen… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CPBPV公司 4份文件引用（2010年-2023年） 软件作者： 赫莱内·科拉维扎；米歇尔·鲁赫（Michel Rueher）；帕斯卡·范·亨特利克 相关软件： TCAS；CBMC；VIPR… 主要字段： 计算机科学（68-XX）
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者： 莫尼卡·海纳；马丁·施瓦里克；阿列克谢·托夫奇格里奇科 相关软件： 清爽；COPASI；MoVisPP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯，A。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CoSA公司 引用于2份文件(2020–2022) 软件作者： Mattarei，C.、Mann，M.、Barrett，C.等人。 相关软件： 尤瑟斯；爱格；BtorMC… 主要字段： 计算机科学（68-XX）
鳄鱼 引用于2份文件(2011–2021) 软件作者： Colange，M。；Baarir，S。；Kordon，F。；蒂里·米格（Thierry-Mieg，Y.）。 相关软件： 海伦娜；AlPiNA；GreatSPN公司 主要字段： 计算机科学（68-XX）
尤里卡 3份文件引用（2008年-2014年） 软件作者： Armando，A.，Benerecetti，M.，Carotenuto，D.，Mantovani，J.，Spica，P。 相关软件： CBMC；灌篮；旋转… 主要字段： 计算机科学（68-XX）
SymDIVINE公司 引用于2份文件(2018) 软件作者： J.ázek先生、P.Bauch、H.Lauko、J.Barnat 相关软件： nuXmv；jCUTE公司；CIL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
流苏_ 3份文件引用(2011–2012) 软件作者： Stephen Siegel指导下的验证软件实验室 相关软件： KLEE公司；ISP；cvc3… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
显式PRISMSymm 引用于2份文件(2015) 软件作者： 帕特尔，里马；凯文·帕特尔（Kevin Patel）；蒂伦·帕特尔 相关软件： 棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
第2b页 引用于2份文件（2001年-2010年） 软件作者： 迈克尔·巴尔达穆斯（Michael Baldamus）；Jochen的Schr“oder-Babo 相关软件： 普罗米拉；自旋蛋白；ML… 主要字段： 计算机科学（68-XX）
害虫 引用于2份文件(2018–2020) 软件作者： Costa，G.、Basin，D.、Bodei，C.、Degano，P.、Galletta，L。 相关软件： TCT；MuDiv；libFAUDES… 主要字段： 计算机科学（68-XX）
pyModelChecking（pyModel检查） 引用于2份文件（2021年至2022年） 软件作者： 卡萨格兰德，A 相关软件： SPOT；汤姆；ORME… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
斯马卡 1份文件引用(2017) 软件作者： 阿明·比尔（Armin Biere）；Jens Knoop；劳拉·科夫亚茨（Laura Kov'acs）；雅各布兹维奇梅尔 相关软件： r-TuBound；STP；OTAWA… 主要字段： 计算机科学（68-XX）
STEWord公司 引用于2份文件(2017–2020) 软件作者： 查克拉波蒂，苏普拉蒂克；苏拉布哈西达什维利；Carl-Johan H.Seger。；拉杰库马尔，加哈维利；坦马·霍尔丹卡尔（Tanmay Haldankar）；恰塔尼（Chhatani）、迪内什（Dinesh）；拉凯什·米斯特里 相关软件： MiniSat；ABC；数学SAT5… 主要字段： 计算机科学（68-XX）
SymPLFIED公司 引用于2份文件(2012–2013) 软件作者： 卡提克·帕塔比拉曼；Nithin M.Nakka。；Kalbarczyk，Zbigniew T。；拉维珊卡·K·伊耶。 相关软件： Stratego；OBJ咖啡馆；MMT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
见证人 1份文件引用(2018) 软件作者： 汉娜·阿恩特；克里斯蒂娜·詹森（Christina Jansen）；克里斯托夫·马提亚（Christoph Matheja）；诺尔，托马斯 相关软件： 贾格诺 主要字段： 计算机科学（68-XX）
利瓦塔 1份文件引用(2019) 软件作者： Ondrej Lengal；吉里·西马切克；托马斯·沃伊纳；马丁·赫鲁斯卡；卢卡斯·霍利克 相关软件： 餐前小吃；反链；LTL2BA… 主要字段： 计算机科学（68-XX）
纸莎草纸-RT 1份文件引用(2022) 软件作者： 萨胡、斯内哈；鲁思·肖尔（Ruth Schorr）；Medina-Bulo、Inmaculada；马蒂亚斯·瓦格纳 相关软件： 姆约利尼尔；OCRA；NuSMV… 主要字段： 计算机科学（68-XX）
PeCA公司 1份文件引用(2014) 软件作者： Le，Dinh-Thuan；Nguyen，Huu-Vu；阮文廷；Mai，Phuong-Nam；Pham-Duy，Bao-Trung；Quan、Thanh-Tho；埃蒂安·安德烈；劳雷·佩特鲁奇（Laure Petrucci）；刘，杨 相关软件： CPN/工具；清爽；访问/CPN… 主要字段： 计算机科学（68-XX）