伊莎贝尔/霍尔 软件作者：纳拉舍夫斯基，沃尔夫冈；尼普科，托比亚斯 参考文献： 972份出版物（1996-2023年） 相关软件： 伊莎贝尔；成本；霍尔；归档正式证据；PVS公司；霍尔灯… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）
旋转 软件作者：贝尔实验室 参考文献： 591份出版物（1990-2022年） 相关软件： 努西姆；乌帕；班德拉；Java探路者；贝博普；塞萨尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
伊莎贝尔 软件作者：拉里·保尔森、托比亚斯·尼普科、马卡里乌斯·温泽尔 参考文献： 701份出版物（1990-2022） 相关软件： 伊莎贝尔/霍尔；霍尔；成本；PVS公司；毫升；存档正式证据… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）
PVS公司 软件作者：Sam Owre，Natarajan Shankar，约翰·拉什比 参考文献： 603份出版物（1993-2022） 相关软件： 成本；伊莎贝尔/霍尔；霍尔；伊莎贝尔；Nuprl公司；ACL2… 主要领域： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
毫升 软件作者：哈珀，罗伯特；米尔纳，罗宾；太妃糖，玛兹；爱丁堡大学 参考文献： 484种出版物（1978-2021） 相关软件： 霍尔；成本；伊莎贝尔；伊莎贝尔/霍尔；哈斯克尔；霍尔灯… 主要领域： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）
努西姆 软件作者：亚历山德罗·西马蒂；克拉克，埃德蒙；朱西格里亚，福斯托；罗维里，马可；罗伯托·卡瓦达、米歇尔·多里加蒂、亚历山德罗·马里奥蒂、安德里亚·米凯利、塞尔吉奥·莫弗、马可·罗韦里、安德烈·查尔采夫 参考文献： 264种出版物（1999-2021） 相关软件： 旋转；乌帕；卡德；糠；棱镜；班德拉… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
霍尔灯 软件作者：哈里森，约翰 参考文献： 305份出版物（1998-2022） 相关软件： 成本；伊莎贝尔/霍尔；霍尔；伊莎贝尔；后桅；毫升… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）
ACL2 软件作者：马特·考夫曼，斯特罗瑟·摩尔 参考文献： 276种出版物（1998-2022年） 相关软件： 成本；伊莎贝尔/霍尔；PVS公司；霍尔；伊莎贝尔；霍尔灯… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；代数拓扑学（55-XX）
团结 软件作者：K。曼尼·钱迪；贾亚德夫·米斯拉 参考文献： 173种出版物（1988年至2021年） 相关软件： 数量；PVS公司；霍尔；旋转；落叶松；罗丹… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
ETPS公司 软件作者：彼得·安德鲁斯、马修·毕肖普、查德·E·布朗、苏尼尔·伊萨尔、丹·奈斯密斯、弗兰克·芬宁、西宏伟 参考文献： 156种出版物（1986-2022） 相关软件： 测试程序集；伊莎贝尔/霍尔；霍尔；伊莎贝尔；Nuprl公司；霍尔灯… 主要领域： 一般性和全局性主题；收款（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）
Java探路者 软件作者：哈维伦德，克劳斯；Pressburger，托马斯 参考文献： 92种出版物（2000-2021年） 相关软件： 旋转；班德拉；veriSoft公司；可爱的；投掷；dSPIN… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
PPL公司 软件作者：巴格纳，罗伯托；Ricci，Elisa；扎法内拉，埃尼亚；希尔，帕特里夏·M。 参考文献： 99种出版物（2002-2021年） 相关软件： 海因奇；停机坪；阿斯特里；乌帕；法弗；多段线… 主要领域： 数理逻辑与基础（03-XX）；凸与离散几何（52-XX）；计算机科学（68-XX）
塞尔4 软件作者：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。 参考文献： 84种出版物（2009-2022） 相关软件： 伊莎贝尔/霍尔；成本；伊莎贝尔；霍尔；霍尔灯；开普勒98… 主要领域： 一般性和全局性主题；收款（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）
测试程序集 软件作者：安德鲁斯，彼得B。；布朗，查德·E。 参考文献： 75种出版物（1990-2022） 相关软件： TPTP；ETPS；霍尔；利奥二世；PVS公司；Nuprl… 主要领域： 一般性和全局性主题；收款（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）
钥匙 软件作者： http://www.key-project.org/people.html 参考文献： 51种出版物（2000-2021） 相关软件： JML公司；ESC/Java；喀拉喀托；布吉；规格；PVS… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）
伊莎贝尔/采埃孚 软件作者：劳伦斯·C·保尔森 参考文献： 63种出版物（1993-2021） 相关软件： 伊莎贝尔；成本；伊莎贝尔/霍尔；霍尔；后桅；毫升… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；代数拓扑学（55-XX）
数学5 软件作者：亚历山德罗·西马蒂；格里吉奥，阿尔伯托；沙夫斯玛，巴斯蒂安·乔斯特；塞巴斯蒂安尼，罗伯托 参考文献： 61种出版物（2013-2022） 相关软件： z3；CVC4；是的；SMT-LIB；思密特酚；迷你卫星… 主要领域： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
数学卫星 软件作者：罗伯托·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰泽、阿尔贝托·格里吉奥、罗伯托·塞巴斯蒂亚尼 参考文献： 56种出版物（2005-2022） 相关软件： z3；是的；迷你卫星；SMT-LIB；希萨特；扯淡… 主要领域： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）
公司证书 软件作者：勒罗伊，X。 参考文献： 50种出版物（2009-2022） 相关软件： 成本；伊莎贝尔/霍尔；z3；卡格默尔；克米诺；伊莎贝尔… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）
沟槽 软件作者：卡斯滕伯格，H.，伦辛克，A。 参考文献： 42种出版物（2004-2020） 相关软件： 聚合；旋转；检查VML；格兰根；茂物；进展… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；范畴论；同调代数（18-XX）
聚硼 软件作者：亚历山大·德雷耶；迈克尔·布里肯斯坦 参考文献： 48种出版物（2008-2021） 相关软件： 单数；岩浆；FGb公司；圣哲数学；卡德；迷你卫星… 主要领域： 数理逻辑与基础（03-XX）；序，格，有序代数结构（06-XX）；交换代数（13-XX）
基础知识 软件作者：罗伯特·布莱顿；阿兰·米什琴科 参考文献： 35种出版物（2011-2021） 相关软件： 迷你卫星；z3；艾格；缅甸中央银行；卡德；努西姆… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
WSAT公司 软件作者：福、香；布尔坦、特夫菲克；苏建文 参考文献： 29种出版物（2004-2019） 相关软件： BPEL2PN；CADP；旋转；LTSA-WS；mCRL2；沃夫兰… 主要领域： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
台阶 软件作者：N。比约纳、I.A.布朗、E.Chang、M.Colón、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe 参考文献： 33种出版物（1997-2015） 相关软件： PVS公司；旋转；乌帕；克洛诺斯；海因奇；Java探路者… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
Reluplex公司 软件作者：盖伊·卡茨，克拉克·巴雷特，大卫·迪尔，凯尔·朱利安，米克尔·科琴德弗 参考文献： 27种出版物（2017-2021） 相关软件： AI2型；亚当；马拉博；MNIST公司；傻瓜；NNV… 主要领域： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）
Cadence SMV公司 软件作者：麦克米兰K L。 参考文献： 22种出版物（2000-2018） 相关软件： 努西姆；旋转；斑点；LTL2BA；可见光；塞萨尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
玛雅 软件作者：赫特，迪特；Autexier，谢尔盖 参考文献： 23种出版物（2002-2015） 相关软件： CASL公司；后桅；伊莎贝尔；OMDoc公司；TPTP；PVS… 主要领域： 数理逻辑与基础（03-XX）；序，格，有序代数结构（06-XX）；计算机科学（68-XX）
qGCL公司 软件作者：祖利亚尼，保罗 参考文献： 23种出版物（2000-2021） 相关软件： QPL；调皮工；ScaffCC公司；雅拉；混合的；因为… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
奈特凯特 软件作者：安德森，C.J.，福斯特，N.，古哈，A.，杰宁，J.-B。，Kozen，D.，Schlesinger，C.，Walker，D。 参考文献： 25种出版物（2014-2021） 相关软件： 狂热的；验证流；VeriCon公司；规则集；成本；荨麻… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；结合环与代数（16-XX）
拖把 软件作者：陈，H.，瓦格纳，D。 参考文献： 15种出版物（2003-2019） 相关软件： 猛击；爆破；旋转；贝博普；CIL公司；简化… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
揭示 软件作者：安德鲁斯，扎赫尔S。；利菲顿，马克H。；萨卡拉，卡雷姆A。 参考文献： 22种出版物（1993-2021） 相关软件： 迷你卫星；博物馆2；HMQV；帕拉库巴；亲吻；卡迪奇… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
马蒂 软件作者：对象管理集团公司。 参考文献： 10种出版物（2009-2017） 相关软件： 系统建模语言；乌帕；旋转；Matlab语言；蒂娜；Simulink… 主要领域： 计算机科学（68-XX）；系统论；对照组（93-XX）；信息与通信理论，电路（94-XX）
税收 软件作者：克罗斯，艾蒂安；波伊兹，米歇尔；普劳，雅克；斯法基斯，约瑟夫；文特尔，帕特里克 参考文献： 15种出版物（2001-2017） 相关软件： 乌帕；克洛诺斯；埃菲尔；乌帕阿尔2K；埃斯特雷尔；Modelica… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；系统论；控制（93-XX）
FoCs公司 软件作者：阿巴巴内尔，耶尔；啤酒，伊兰；鲁霍夫斯基，列奥尼德；凯达尔，莎伦；沃尔夫斯塔尔，亚龙 参考文献： 17种出版物（2000-2018） 相关软件： LTL2BA；霍尔；旋转；副驾驶；日元；安特尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
拉瓦 软件作者：梅林，马格努斯O。；戴维斯，贾里德 参考文献： 19种出版物（2011-2020） 相关软件： 霍尔；吉川；成本；霍尔灯；伊莎贝尔/霍尔；卡凯尔… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
栅栏 软件作者：Burckhardt，S.，Alur，R.，Martin，M.K。 参考文献： 18种出版物（2007-2018） 相关软件： veriSoft公司；旋转；嗯；缅甸中央银行；爪哇格兰德；反链… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
偿付能力资本要求 软件作者：伊门布尔吉巴；摩阿，贝拉德 参考文献： 10种出版物（2000-2018） 相关软件： 旋转；努西姆；阴霾；阿萨德；PVS公司；梅花… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
捕食者 软件作者：杜德卡，卡米尔；米勒，彼得；佩林格，彼得；沃伊纳尔，汤姆š 参考文献： 14种出版物（2012-2021） 相关软件： 注册会计师；缅甸中央银行；幻灯片；爆破；推断；z3… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SCEL公司 软件作者：洛克·德尼古拉，迭戈·拉特拉。阿尔贝托·卢克·拉富恩特、米歇尔·洛雷蒂、安德烈·马尔赫里、米克·马辛克、安德烈·莫里切塔、罗萨里奥·普格利泽、弗朗切斯科·蒂齐、安德烈·范丁 参考文献： 15种出版物（2014-2021） 相关软件： 克莱姆；莫德；帕洛玛；琳达；卡玛；权杖… 主要领域： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
无级变速器 软件作者：普努埃利，A。；希特里曼，O。；西格尔，M。 参考文献： 17种出版物（1998-2021） 相关软件： TVOC；CVC公司；系统C；集成电路；循环的；克雷尔维姆… 主要领域： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）
视觉 软件作者：布莱顿，R.K.等人。 参考文献： 10种出版物（2005-2015） 相关软件： 努西姆；旋转；海因奇；LTL2BA；斑点；塞萨尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
科拉 软件作者：Matthias Althoff，Niklas Kochdumper公司 参考文献： 15种出版物（2016-2022） 相关软件： SpaceEx公司；HYST公司；C2e2；海因奇；法弗；MPT… 主要领域： 常微分方程组（34-XX）；凸与离散几何（52-XX）；计算机科学（68-XX）
飞天螳螂 软件作者：克雷默斯，C。 参考文献： 14种出版物（2009-2017） 相关软件： 阿维斯帕；阿基斯；罗望子；卡斯珀；会议主席；阿普特… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
钨 软件作者：Sülflow，安德烈 参考文献： 16种出版物（2010-2022） 相关软件： R；克莱；z3；是的；Daikon公司；SMT-LIB… 主要领域： 一般性和全局性主题；收款（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）
岛民 软件作者：马克·埃斯特瓦、大卫·德拉克鲁兹、卡尔斯·塞拉 参考文献： 9种出版物（2006-2016） 相关软件： 社会观察家；杰森；努西姆；Moise+；CCalc公司；2APL… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
LTSA-WS 软件作者：Magee J、Kramer J、Uchitel S等 参考文献： 11种出版物（2006-2021） 相关软件： WSAT；努西姆；乌帕；洛拉；奶牛；伊塔卡… 主要领域： 计算机科学（68-XX）
伊莎贝尔/马戏团 软件作者：阿布德拉赫曼·费利阿奇、玛丽·克劳德·高德尔、伯克哈特·沃尔夫 参考文献： 12种出版物（2013-2017） 相关软件： 伊莎贝尔/霍尔；证明力；伊莎贝尔；马戏团；大锤；伊莎贝尔/UTP… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
熔岩 软件作者：比塞，P.，克莱森，K.，希兰，M.，辛格，S。 参考文献： 11种出版物（2002-2018） 相关软件： 哈斯克尔；muFP；花束；成本；长石；库达… 主要领域： 数理逻辑与基础（03-XX）；范畴论；同调代数（18-XX）；计算机科学（68-XX）
网络服务提供商 软件作者：科马克弗拉纳根；帕特里斯·戈德弗里德 参考文献： 9种出版物（2008-2018） 相关软件： 克莱；旋转；veriSoft公司；SpecExplorer；竞赛；班德拉… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）
ChC 3 软件作者：杜兰，旧金山；梅斯盖尔，何塞 参考文献： 10种出版物（2010-2020） 相关软件： 莫德；CRC 3；阿尼玛；网络TLR；MTT法；朱丽安… 主要领域： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
Exp.打开 软件作者：弗里德里克·朗 参考文献： 10种出版物（2006-2021） 相关软件： CADP；凯撒解决方案；旋转；E-LOTOS；LNT2LOTOS公司；凯撒… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
常春藤 软件作者：麦克米兰，K.L.，帕顿，O。 参考文献： 10种出版物（2017-2021） 相关软件： 常春藤；z3；纽克斯梅夫；威尔第；达夫尼；谷歌测试… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Java MaC电脑 软件作者：Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky 参考文献： 11种出版物（2003-2021） 相关软件： 日元；爪哇拖把；副驾驶；跨方面；电动车辆；AspectWerkz… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
安娜 软件作者：卢卡姆，大卫 参考文献： 8种出版物（1986-2007） 相关软件： Ada95型；规格；JML公司；埃菲尔；火花；落叶松… 主要领域： 一般性和全局性主题；收款（00-XX）；计算机科学（68-XX）
丽贝卡 软件作者：贾古里，穆罕默德·马赫迪；锡尔贾尼，马扬；穆萨维，穆罕默德·雷扎；埃桑哈梅斯帕纳；阿里，莫瓦加尔 参考文献： 8种出版物（2010-2022） 相关软件： 克里奥尔；定时丽贝卡；乌帕；旋转；毒蛇；环境谈话… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
真有趣 软件作者：克里斯托夫·沃尔特；斯蒂芬·施韦策 参考文献： 10种出版物（2005-2017） 相关软件： ACL2；哈斯克尔；成本；伊莎贝尔/霍尔；尖峰；批准… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）
光气圈 软件作者：T。博洛涅西，J.van de Lagemat，C.Vissers 参考文献： 6种出版物（2000-2015） 相关软件： 洛托；并发工作台；XSB公司；乐高；盎司；莫德… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
TRX公司 软件作者：科普罗夫斯基，亚当；宾兹托克，亨利 参考文献： 8种出版物（2010-2020） 相关软件： 成本；阿格达；霍尔；公司证书；github；选择4… 主要领域： 计算机科学（68-XX）
安泰诺瓦 软件作者：尤金尼奥·G·奥莫迪奥，多梅尼科·坎通纳，阿尔贝托·波利克里蒂，雅各布·T·施瓦茨 参考文献： 8种出版物（2011-2018） 相关软件： 裁判员；集合；后桅；元数学；Nuprl公司；伊莎贝尔/霍尔… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；复变函数（30-XX）
计算 软件作者：Nuzzo，P.，Puggelli，A.，Seshia，S.A.，Sangiovanni Vincentelli，A.L。 参考文献： 8种出版物（2013-2019） 相关软件： 德雷尔；z3；德拉赫；是的；SMT-大鼠；SMT-LIB… 主要领域： 计算机科学（68-XX）；粒子与系统力学（70-XX）；运筹学，数学规划（90-XX）
光盘++ 软件作者：韦纳，加布里埃尔 参考文献： 8种出版物（2002-2010） 相关软件： – 主要领域： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
CertiKOS公司 软件作者：顾，R，邵，Z，陈，H.，吴，X.N.，金，J.，Sjöberg，V.，Costanzo，D。 参考文献： 8种出版物（2017-2020） 相关软件： seL4；伊莎贝尔/霍尔；伊莎贝尔；霍尔；成本；GitHub… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
电动汽车公司 软件作者：韦列夫，米罗斯拉夫N。；布莱恩特，兰德尔E。 参考文献： 8种出版物（2001-2012） 相关软件： Velev SAT基准；糠；伯克明；皮科萨；tts系统；ACL2… 主要领域： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）
F外壳 软件作者：安德烈亚斯·霍尔泽；克里斯蒂安·夏尔哈特；迈克尔·陶奇尼；赫尔穆特脉 参考文献： 6种出版物（2010-2016） 相关软件： Java探路者；注册会计师；快速时间；pwcet；爆破；狼獾… 主要领域： 一般性和全局性主题；收款（00-XX）；计算机科学（68-XX）
KJS公司 软件作者：Daejun公园，AndreiŞtefănescu，Grigore Roşu 参考文献： 8种出版物（2015-2021） 相关软件： K-Java；莫德；成本；JavaScript；K检验器；GitHub… 主要领域： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
克莱恩代数 软件作者：阿姆斯特朗，A.，斯特劳斯，G.，韦伯，T。 参考文献： 8种出版物（2015-2022） 相关软件： 归档正式证据；伊莎贝尔/霍尔；大锤；关系代数；霍尔；重新查看… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；群论与概化（20-XX）
奎托斯 软件作者：A。Cimatti，A.Griggio，A.Micheli，I.Narasamdya，M.Roveri 参考文献： 7种出版物（2011-2018） 相关软件： 爆破；系统C；撒旦；甘美；veriSoft公司；DDVerify… 主要领域： 计算机科学（68-XX）
特克莱姆 软件作者：德尼古拉，罗科；戈拉，丹妮尔；普利斯，罗萨里奥 参考文献： 6种出版物（2005-2008） 相关软件： 克莱姆；琳达；克拉瓦；SLMC公司；MWB公司 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
真相/SLC 软件作者：洛克，马丁；诺尔，托马斯 参考文献： 4种出版物（2001-2007） 相关软件： mCRL；CADP；游戏 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
嗯 软件作者：Yang Y、Gopalakrishnan G、Lindstrom G 参考文献： 6种出版物（2007-2016） 相关软件： 成本；栅栏；佐醇；github；Weak2SC；懒惰的CSeq… 主要领域： 计算机科学（68-XX）
制服 软件作者：伯纳德·克里格·布吕克纳、扬·佩雷斯卡、恩斯特·鲁迪格·奥尔德罗格、亚历山大·贝尔 参考文献： 7种出版物（1999-2011） 相关软件： 乌帕；弗兰特克；GHC公司；哈斯克尔；梅森网络；DCVALID… 主要领域： 计算机科学（68-XX）
ACTLW公司 软件作者： – 参考文献： 6种出版物（2008-2016） 相关软件： 旋转；奶牛；mCRL；雷贝卡；AODV；乌帕尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CLPS-B公司 软件作者：花束，法布里斯；勒格尔德，布鲁诺；佩鲁克斯，法比恩 参考文献： 2份出版物（2002-2009） 相关软件： 问题；jb工具；罗丹；XSB公司；FDR2；奥兹… 主要领域： 计算机科学（68-XX）
迪斯科 软件作者：阿尔顿，蒂莫；卡塔拉，米卡；皮克嫩，里斯托 参考文献： 7种出版物（1998-2006） 相关软件： PVS公司；AspectJ公司；Ocsid；合一；霍尔；因为… 主要领域： 计算机科学（68-XX）
埃德蒙斯·卡普 软件作者：拉米，彼得；塞菲加，S.Reza 参考文献： 7种出版物（2016-2021） 相关软件： 加博SCC；成本；伊莎贝尔/霍尔；伊莎贝尔；Dijkstra最短路径；分离逻辑… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
占上风 软件作者：博里翁，多米尼克；皮埃尔，劳伦斯；萨勒姆，阿什拉夫 参考文献： 5种出版物（1992-2014） 相关软件： Nuprl公司；科克姆图；花束；成本；塞萨尔；落叶松… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
裁判 软件作者：奥莫迪欧；多梅尼科州；阿尔贝托·波利克蒂；雅各布·T·施瓦茨 参考文献： 7种出版物（2013-2018） 相关软件： 安泰保险；集合；后桅；元数学；Nuprl公司；伊莎贝尔/霍尔… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
瓦塔 软件作者：伦加尔，昂德内伊；西蒙切克；沃伊纳尔，汤姆š 参考文献： 7种出版物（2012-2019） 相关软件： MTBDD；幻灯片；蒙纳；骑自行车的人；反链；臀部… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
BDD低 软件作者：Kim Milvang Jensen，Alan J.Hu 参考文献： 6种出版物（2000-2011） 相关软件： Gprof公司；Sycraft公司；卡德；墨菲；努西姆；旋转 主要领域： 计算机科学（68-XX）
拉尔夫 软件作者：克劳迪娅·哈滕斯佩格、鲁道夫·伯格默、冈瑟·施密特 参考文献： 6种出版物（1997-2014） 相关软件： 拉尔；重新审视；伊莎贝尔/霍尔；拉思；阿糖胞苷；伊莎贝尔… 主要领域： 一般性和全局性主题；收款（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）
RT-ASLAN公司 软件作者：Auernheimer B，凯默尔R A。 参考文献： 3个出版物（1994-2002） 相关软件： 埃斯特雷尔；Ada95型；星体的 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
斯皮迪思 软件作者：Urbas，M.，Jamnik，M.，斯台普顿，G.，Flower，J。 参考文献： 5种出版物（2012-2019） 相关软件： 防开启；迪亚贝利；嘟嘟博士；捣碎；Hets公司；霍尔灯… 主要领域： 数理逻辑与基础（03-XX）；几何（51-XX）；凸与离散几何（52-XX）
森林 软件作者：范迪克，T。；范德波尔，J。 参考文献： 6种出版物（2020-2022） 相关软件： 暴风雨；预言；github；伙计；卡德；添加库… 主要领域： 数论（11-XX）；群论与概化（20-XX）；计算机科学（68-XX）
Z2sal公司 软件作者：J德里克，南北方，A J H西蒙斯 参考文献： 5种出版物（2008-2012） 相关软件： 旋转；Z轴；Z/晚上；捷克特；jSpin；普罗梅拉… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
基岩 软件作者：亚当·克利帕拉 参考文献： 4种出版物（2017-2019） 相关软件： 成本；工具链；OCaml公司；归档正式证据；摊余复杂度；分离逻辑… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
懒散CSeq 软件作者：赫特，弗拉基米尔；Le，Hoang M。；格罗埃，丹尼尔；德雷克斯勒，罗尔夫 参考文献： 4种出版物（2015-2018） 相关软件： 缅甸中央银行；Cseq公司；MU CSeq；塞加尔；共生2；担保人… 主要领域： 计算机科学（68-XX）
露丝 软件作者：莫伊，M.，玛拉尼奇，F.，梅利特康托兹，L。 参考文献： 3个出版物（2007-2013） 相关软件： 系统C；奎托斯；veriSoft公司；埃斯特雷尔；皮纳帕；LLVM… 主要领域： 计算机科学（68-XX）
马卡斯皮斯 软件作者：罗科·德尼古拉、迭戈·拉特拉、米歇尔·洛雷蒂、梅克·马辛克 参考文献： 5种出版物（2009-2015） 相关软件： 奶牛；谦虚；群组套件；克莱姆；SAS；SPSS… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）
模型丛 软件作者：米奇，S.，普拉泽，A。 参考文献： 3种出版物（2016-2021） 相关软件： SpaceEx公司；凯美拉；凯玛拉X；贝勒洛芬；德拉赫；验证… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
摩泽尔 软件作者：P。Kelb，T.Margaria，M.Mendler，C.Gsottberger 参考文献： 4种出版物（1998-2018） 相关软件： 蒙纳；亚视；生物模型；生物香料；俱乐部；浮雕… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MTBDD公司 软件作者：伦加尔，昂德内伊；西蒙切克；沃伊纳尔，汤姆š 参考文献： 5种出版物（2012-2019） 相关软件： 瓦塔；蒙纳；幻灯片；反链；臀部；克莱弗… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
心理同步 软件作者：戈伊博士，塞扎拉；亨辛格，托马斯A。；祖弗里，达米恩 参考文献： 5种出版物（2016-2021） 相关软件： 威尔第；旋转；ByMC公司；z3；远端；荷鲁斯… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
岩盐矿 软件作者：Morrisett，G.，Tan，G.，Tassarotti，J.，Tristan，J.B.，Gan，E。 参考文献： 5种出版物（2015-2021） 相关软件： 成本；GDSL公司；FreeSpec公司；可操作性；卡米语；GitHub… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
粗壮的 软件作者：Nathalie Cauchi，Kurt Degiorgio，Alessandro Abate 参考文献： 5种出版物（2019-2022） 相关软件： 浮士德2；棱镜；SReachTools公司；ProbReach公司；肌炎；谦虚… 主要领域： 计算机科学（68-XX）；系统论；控制（93-XX）
VeriCon公司 软件作者：Ball，T.，Bjorner，N.，Gember，A.，Itzhaky，S.，Karbyshev，A.，Sagiv，M.，Schapira，M.，Valadarsky，A。 参考文献： 5种出版物（2014-2021） 相关软件： 食蚁兽；奈特凯特；快；验证流；狂热的；萝拉… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Z3str2型 软件作者：郑云辉；加内什，维杰；苏布拉曼尼亚，萨努；特里普，奥默；贝齐什，墨菲；杜比，朱利安；张向玉 参考文献： 4种出版物（2017-2021） 相关软件： 汉比；Z3str3型；陌生人；诺恩；z3；CVC4… 主要领域： 计算机科学（68-XX）
亚德尔 软件作者：裴京民，彼得·厄尔维茨基，何塞·梅斯盖尔 参考文献： 3种出版物（2012-2016） 相关软件： LNT2LOTOS公司；埃斯特雷尔；GRL公司；多时性；CADP；旋转… 主要领域： 计算机科学（68-XX）