伊莎贝尔/HOL 1068年文献引用(1996年至2024年) 软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科 相关软件: 伊莎贝尔;Coq;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
自旋蛋白 619文件引用(1990–2023) 软件作者: 贝尔实验室 相关软件: NuSMV;Uppaal;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
伊莎贝尔 734份文件中引用(1990–2023) 软件作者: 拉里·保尔森、托比亚斯·尼普科夫、马卡里乌斯·温泽尔 相关软件: Isabelle/HOL;HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
PVS公司 617文件引用(1993–2023) 软件作者: Sam Owre、Natarajan Shankar、John Rushby 相关软件: Coq;Isabelle/HOL;HOL… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
毫升 516份文件引用(1978–2024) 软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学 相关软件: HOL;Coq;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-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)…
HOL灯 319份文件引用(1998年至2024年) 软件作者: 约翰·哈里森 相关软件: Coq;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
ACL2型 287份文件引用(1998–2023) 软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore) 相关软件: Coq;Isabelle/HOL;PVS… 主要字段: (03B35-XX);(68Q60-XX);(68T15-XX)
联合 183份文件引用(1988–2021) 软件作者: K.Mani Chandy;贾亚德夫·米斯拉 相关软件: NQTHM;PVS;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
Java PathFinder 95篇文献引用(2000–2023) 软件作者: 克劳斯·哈弗伦德;托马斯·普雷斯伯格 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
PPL(公私合营) 108篇文献引用(2002–2023) 软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。 相关软件: 高科技;停机坪;ASTREE… 主要字段: (68U05-XX);(52B11-XX);(68N30-XX)
seL4级 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;伊莎贝尔… 主要字段: –
数学SAT5 80篇文献引用(2013年-2023年) 软件作者: 亚历山德罗·西马蒂;阿尔贝托·格里乔;Schaafsma、Bastiaan Joost;罗伯托·塞巴斯蒂亚尼 相关软件: z3;CVC4;Yices… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
第三方程序 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
Reluplex公司 71篇文献引用(2017–2024) 软件作者: Guy Katz、Clark Barrett、David Dill、Kyle Julian、Mykel Kochenderfer 相关软件: AI2;NNV;ImageNet… 主要字段: –
伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者: 劳伦斯·保尔森 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
凯伊 55份文件引用(2000–2023) 软件作者: http://www.key-project.org/people.html 相关软件: JML;电子稳定控制系统/Java;卡拉卡拉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
数学SAT 59篇文献引用(2005–2023) 软件作者: 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件: z3;伊塞斯;SMT-LIB… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)…
CompCert公司 58篇文献引用(2009–2023) 软件作者: X·勒罗伊。 相关软件: Coq;Isabelle/HOL;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
沟槽 48篇文献引用(2004–2023) 软件作者: Kastenberg,H.,Rensink,A。 相关软件: AGG;自旋蛋白;GrGen… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
PolyBoRi公司 50篇文献引用(2008–2023) 软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦 相关软件: 单一;SageMath;岩浆… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…
基础知识 43篇文献引用(2011–2023) 软件作者: 罗伯特·布雷顿;阿兰·米什琴科 相关软件: MiniSat;z3;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
WSAT公司 29篇文献引用(2004–2019) 软件作者: 傅湘;布尔坦、特夫菲克;苏建文 相关软件: BPEL2PN;CADP;旋转… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
CORA公司 35篇文献引用(2016–2023) 软件作者: 马蒂亚斯·阿尔霍夫(Matthias Althoff)、尼古拉斯·科奇杜姆普(Niklas Kochdumper) 相关软件: 流量*;SpaceEx;C2e2… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
STeP公司 33篇文献引用(1997–2015) 软件作者: N.Bjørner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe 相关软件: PVS;自旋蛋白;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
NetKAT公司 33篇文献引用(2014–2023) 软件作者: Anderson,C.J.,Foster,N.,Guha,A.,Jeannin,J.-B.,Kozen,D.,Schlesinger,C.,Walker,D。 相关软件: VeriFlow;狂热;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);结合环与代数(16-XX)…
qGCL公司 25篇文献引用(2000–2024) 软件作者: 保罗·祖利亚尼 相关软件: QPL;质量管理清单;Quipper… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
马亚 23篇文献引用(2002–2015) 软件作者: Dieter Hutter;谢尔盖·奥特西尔 相关软件: CASL;米扎尔;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
MOPS公司 15篇文献引用(2003–2019) 软件作者: Chen,H.、Wagner,D。 相关软件: SLAM;爆炸;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
常春藤 21篇文献引用(2017年-2023年) 软件作者: McMillan,K.L.,Padon,O。 相关软件: 常春藤;z3;IronFleet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
显示 22篇文献引用(1993–2021) 软件作者: Andraus,Zaher S。;Mark H.Liffiton。;卡里姆·A·萨卡拉。 相关软件: MiniSat;MUSer2;HMQV… 主要字段: (68Q60-XX);(68T15-XX)
MARTE公司 10篇文献引用(2009–2017) 软件作者: 对象管理集团。 相关软件: SysML;Uppaal;旋转… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)
拉瓦 20篇文献引用(2011–2023) 软件作者: 玛格努斯·奥·米林(Magnus O.Myreen)。;贾里德·戴维斯 相关软件: 吉塔瓦;HOL;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
税收 15篇文献引用(2001–2017) 软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特 相关软件: Uppaal;克罗诺斯;埃菲尔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
FoCs公司 17篇文献引用(2000–2018) 软件作者: 亚埃尔阿巴内尔;啤酒,伊兰;Gluhovsky,Leonid;雪伦·凯达尔;Wolfsthal,纱线 相关软件: LTL2BA;HOL;旋转… 主要字段: (68U99-XX);(68Q60-XX);(68M07-XX)
SCEL公司 17篇文献引用(2014–2023) 软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂奇、安德烈·范丁 相关软件: 科莱姆;莫德;PALOMA… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-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)
可控硅 10篇文献引用(2000–2018) 软件作者: 伊曼·布尔吉巴;贝莱德Moa 相关软件: 自旋蛋白;NuSMV;PVS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
无级变速器 18篇文献引用(1998–2021) 软件作者: 普努利,A。;Shtrickman,O。;西格尔,M。 相关软件: TVOC;CVC;系统C… 主要字段: (68U99-XX);(68N20-XX)
可视信息系统 10篇文献引用(2005–2015) 软件作者: Brayton,R.K.等人。 相关软件: NuSMV;自旋蛋白;LTL2BA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
飞天螳螂 14篇文献引用(2009–2017) 软件作者: 克雷默斯,C。 相关软件: AVISPA;阿克斯;塔马林… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
沃尔夫拉姆 16篇文献引用(2010–2022) 软件作者: 安德烈·苏尔弗洛 相关软件: R;伊塞斯;KLEE… 主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
岛国 9份文件引用(2006–2016) 软件作者: 马克·埃斯特瓦(Marc Esteva)、大卫·德·拉克鲁斯(David de la Cruz)、卡尔斯·塞拉(Carles Sierra) 相关软件: 社会可视化者;杰森;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
LTSA-WS公司 12份文件引用(2006–2021) 软件作者: Magee J、Kramer J、Uchitel S等 相关软件: WSAT;NuSMV;不明飞行物… 主要字段: 计算机科学(68-XX)
Exp.未结 12份文件引用(2006–2023) 软件作者: 弗雷德里克·朗 相关软件: CADP;CAESAR_SOLVE公司;M-TREE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
伊莎贝尔/马戏团 12份文件引用(2013-2017) 软件作者: Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff 相关软件: Isabelle/HOL;电源保护;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
熔岩 11份文件引用(2002–2018) 软件作者: Bjesse,P.、Claessen,K.、Sheeran,M.、Singh,S。 相关软件: 哈斯克尔;muFP;Coquet… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
Oink公司 13份文件引用(2018–2022) 软件作者: T·迪克。 相关软件: PGSolver;条纹;mCRL2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
生锈带 13份文件引用(2018–2022) 软件作者: Jung,R.、Jourdan,J.H.、Krebbers,R.、Dreyer,D。 相关软件: 锈蚀;Coq;工具链… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
网络服务提供商 9份文件引用(2008–2018) 软件作者: 科马克·弗拉纳根(Cormac Flanagan);帕特丽斯·戈德弗里德 相关软件: KLEE公司;自旋蛋白;veriSoft… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
西尔文 11份文件引用(2020–2023) 软件作者: van Dijk,T。;范德波尔,J。 相关软件: LTSmin公司;棱镜;BuDDy… 主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…
第3章 10篇文献引用(2010–2020) 软件作者: 弗朗西斯科·杜兰;何塞·梅塞盖尔 相关软件: 莫德;CRC 3;MTT… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
爪哇-MaC 11份文件引用(2003年至2021年) 软件作者: Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky 相关软件: JPAX;Java-MOP;哈哈… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
克拉托斯 10篇文献引用(2011–2022) 软件作者: A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件: 爆炸;系统C;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CertiKOS公司 10篇文献引用(2017年至2022年) 软件作者: Gu,R.,Shao,Z.,Chen,H.,Wu,X.N.,Kim,J.,Sjöberg,V.,Costanzo,D。 相关软件: seL4;Coq;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
埃德蒙兹-卡普 10篇文献引用(2016–2022) 软件作者: 彼得·兰米奇(Peter Lammich);塞菲加·雷扎 相关软件: Isabelle/HOL;存档正式证据;Gabow SCC… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…
丽贝卡 8份文件引用(2010–2022) 软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔 相关软件: Uppaal;甲酚;定时丽贝卡… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Speedith公司 9份文件引用(2012–2019) 软件作者: Urbas,M.、Jamnik,M.,Stapleton,G.、Flower,J。 相关软件: 超防;伊莎贝尔;迪亚贝利… 主要字段: –
VeriFun公司 10篇文献引用(2005–2017) 软件作者: 克里斯托夫·沃尔特;斯蒂芬·施韦策 相关软件: ACL2;哈斯克尔;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
KJS公司 9份文件引用(2015–2021) 软件作者: 格里戈·罗什u安德烈·特夫内斯库大峻公园 相关软件: K-Java;莫德;Coq… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
克莱纳代数 9份文件引用(2015–2022) 软件作者: A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件: 存档正式证据;Isabelle/HOL;大锤… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
LOTOSphere公司 6篇文献引用(2000年至2015年) 软件作者: T.Bolognesi、J.van de Lagemaat和C.Vissers 相关软件: LOTOS;并发工作台;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ModelPlex公司 7份文件引用(2016–2022) 软件作者: Mitsch,S.、Platzer,A。 相关软件: 凯伊迈拉;SpaceEx;Coq… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
P同步 9份文件引用(2016–2023) 软件作者: 塞扎拉奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;达米恩·祖弗里 相关软件: 威尔第;常春藤;ByMC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TRX公司 8份文件引用(2010–2020) 软件作者: 亚当·科普罗夫斯基(Adam Koprowski);亨利·宾兹托克 相关软件: Coq;阿格达;HOL… 主要字段: 计算机科学(68-XX)
Verigraph公司 9份文件引用(2016–2023) 软件作者: 吉尔赫梅·格罗肖(Guilherme Grochau)阿齐兹(Azzi);贝泽拉、乔纳斯·桑托斯;莱拉·里贝罗(Leila Ribeiro);安德烈·科斯塔;罗德里格斯、莱昂纳多·马尔克斯;罗德里戈·马查多 相关软件: AGG;同意;Henshin… 主要字段: –
AEtnaNova公司 8份文件引用(2011–2018) 软件作者: Eugenio G.Omodeo、Domenico Cantone、Alberto Policriti、Jacob T.Schwartz 相关软件: 裁判;SETL;米扎尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);复变量的函数(30-XX)…
加州大学洛杉矶分校 8份文件引用(2013–2019) 软件作者: Nuzzo,P.、Puggelli,A.、Seshia,S.A.、Sangiovanni-Vincentelli,A.L。 相关软件: dReal;z3;dReach… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…
EVC公司 8份文件引用(2001–2012) 软件作者: 米罗斯拉夫·韦列夫(Miroslav N.Velev)。;Randal E.布莱恩特。 相关软件: Velev SAT基准;查夫;伯克敏… 主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);计算机科学(68-XX)…
F外壳 6篇文献引用(2010–2016) 软件作者: 安德烈亚斯·霍尔泽(Andreas Holzer);克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格(Michael Tautschnig);赫尔穆特·维思 相关软件: Java PathFinder;CPA检查员;RapiTime… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
斯托克Hy 8份文件引用(2019–2023) 软件作者: Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件: 棱镜;FAUST2;ProbReach… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
tK目标 6篇文献引用(2005–2008) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥·普格利泽 相关软件: 科莱姆;琳达;克拉瓦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
真相/SLC 4份文件引用(2001年至2007年) 软件作者: Martin Leucker;诺尔,托马斯 相关软件: mCRL;CADP;PlayGame游戏 主要字段: (68U99-XX);(68Q60-XX);(68Q85-XX)
嗯 6篇文献引用(2007–2016) 软件作者: Yang Y、Gopalakrishnan G、Lindstrom G 相关软件: Coq;方格网;TSOTool… 主要字段: 计算机科学(68-XX)
UniForM公司 7份文件引用(1999–2011) 软件作者: Bernd Krieg-Brückner、Jan Peleska、Ernst-Rüdiger Olderog、Alexander Baer 相关软件: Uppaal;FranTk;GHC… 主要字段: 计算机科学(68-XX)
Z3str2型 7份文件引用(2017年-2023年) 软件作者: 郑云辉;维杰·加内什;Subramanian,萨努;特里普,奥马尔;墨菲·贝尔齐什;朱利安·杜比(Julian Dolby);张湘玉 相关软件: 汉普;Z3str3;CVC4… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PREVAIL公司 5份文件引用(1992–2014) 软件作者: 多米尼克·博里奥内;劳伦斯·皮埃尔;阿什拉夫·塞勒姆 相关软件: Nuprl;CoqMTU;Coquet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
裁判 7份文件引用(2013–2018) 软件作者: Eugenio G.Omodeo;多梅尼科·坎通纳;阿尔贝托·波利克里蒂;雅各布·T·施瓦茨 相关软件: AEtnaNova;SETL;米扎尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
增值税 7份文件引用(2012–2019) 软件作者: Lengál,安大略省;Šimáček,吉里伊;汤姆·沃纳 相关软件: MTBDD;MONA;幻灯片… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
BDDNOW公司 6篇文献引用(2000–2011) 软件作者: Kim Milvang Jensen、Alan J.Hu 相关软件: Gprof;Sycraft;CUDD… 主要字段: 计算机科学(68-XX)
岩盐矿 6篇文献引用(2015–2021) 软件作者: 莫里塞特·G、谭·G、塔萨罗蒂·J、特里斯坦·J·B、甘·E。 相关软件: Coq;GDSL;CompCertS… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
RT-ASLAN公司 引用于3份文件(1994–2002) 软件作者: 奥尔海默B,凯默R A。 相关软件: 酯类;阿达95;ASTRAL公司 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
kP工作台 5份文件引用(2015年-2023年) 软件作者: Gheorghe,M.、Ipate,F.、Mierla,L.、Konur,S。 相关软件: 自旋蛋白;NuSMV;莫德… 主要字段: 计算机科学(68-XX)
懒惰的CSeq 4份文件引用(2015–2018) 软件作者: 弗拉基米尔·赫特;Le,Hoang M。;丹尼尔·格罗(Daniel Große);罗尔夫·德雷克斯勒 相关软件: CBMC;Cseq;MU CSeq… 主要字段: 计算机科学(68-XX)
LusSy公司 引用于3份文件(2007–2013) 软件作者: Moy,M.、Maraninchi,F.、Maillet-Contoz,L。 相关软件: 系统C;卡拉托斯;veriSoft… 主要字段: 计算机科学(68-XX)
MarCaSPiS公司 5份文件引用(2009–2015) 软件作者: 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克 相关软件: 奶牛;MoDeST;科莱姆… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
莫塞尔 4份文件引用(1998–2018) 软件作者: P.Kelb、T.Margaria、M.Mendler、C.Gsottberger 相关软件: MONA;EMBOSS;ATV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
平均无故障时间 5份文件引用(2012–2019) 软件作者: 安大略省Lengál;Šimáček,Jiří;汤姆·沃纳 相关软件: 增值税;MONA;幻灯片… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)