伊莎贝尔/HOL 1076份文件引用(1996–2024) 软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科 相关软件: 伊莎贝尔;Coq;HOL… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
伊莎贝尔 742份文件引用(1990–2024) 软件作者: 拉里·保尔森(Larry Paulson)、托比亚斯·尼普科(Tobias Nipkow)、马卡里乌斯·温泽尔(Makarius Wenzel) 相关软件: Isabelle/HOL;HOL;Coq… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
自旋蛋白 619文件引用(1990–2023) 软件作者: 贝尔实验室 相关软件: NuSMV;Uppaal;班德拉… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-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公司 281份文件引用(1999–2024) 软件作者: 亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金西格里亚(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灯 320篇文献引用(1998–2024) 软件作者: 约翰·哈里森 相关软件: Coq;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);数论(11-XX)…
ACL2型 287份文件引用(1998–2023) 软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore) 相关软件: Coq;Isabelle/HOL;PVS… 主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);代数拓扑(55-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)、习宏伟(Hongwei Xi) 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
Java PathFinder 96篇文献引用(2000–2023) 软件作者: 克劳斯·哈维隆德;托马斯·普雷斯伯格 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
应用程序 108篇文献引用(2002–2023) 软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);扎法内拉,埃纳;帕特里夏·M·希尔。 相关软件: 高科技;停机坪;ASTREE… 主要字段: 数理逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-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)…
数学SAT5 80篇文献引用(2013–2023) 软件作者: 亚历山德罗·西马蒂;阿尔贝托·格里乔;沙夫斯马,巴斯蒂安·乔斯特;罗伯托·塞巴斯蒂亚尼 相关软件: 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) 软件作者: 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件: 马拉博;AI2;NNV… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者: 劳伦斯·保尔森 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);代数拓扑(55-XX)…
凯伊 55份文件引用(2000–2023) 软件作者: http://www.key-project.org/people.html 相关软件: JML;ESC/Java;卡拉卡拉… 主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);数值分析(65-XX)…
数学SAT 59篇文献引用(2005–2023) 软件作者: 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件: z3;Yices;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;食蚁兽… 主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);结合环与代数(16-XX)…
qGCL公司 25篇文献引用(2000–2024) 软件作者: 保罗·祖利亚尼 相关软件: QPL;质量管理清单;Quipper… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者: 麦克米兰K·L。 相关软件: NuSMV;自旋蛋白;SPOT… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-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… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-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)
SCEL公司 18篇文献引用(2014–2023) 软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁 相关软件: 科莱姆;莫德;CARMA… 主要字段: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
税收 15篇文献引用(2001–2017) 软件作者: 克洛斯,艾蒂安;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特 相关软件: Uppaal;克罗诺斯;艾菲尔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
FoC公司 17篇文献引用(2000–2018) 软件作者: 亚尔(Yael)阿巴巴内尔(Abarbanel);啤酒,伊兰;Gluhovsky,Leonid;雪伦·凯达尔;Wolfsthal,纱线 相关软件: LTL2BA;HOL;旋转… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)…
检查围栏 18篇文献引用(2007–2018) 软件作者: Burckhardt,S.,Alur,R.,Martin,M.K。 相关软件: veriSoft;自旋蛋白;UMM… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
捕食者 15篇文献引用(2012–2021) 软件作者: 卡米尔·杜德卡;彼得·米勒;彼得·佩林格(Petr Peringer);汤姆·沃纳 相关软件: 注册会计师检查;CBMC;幻灯片… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
可控硅 10篇文献引用(2000–2018) 软件作者: 伊曼·布尔吉巴;贝莱德·莫阿 相关软件: 自旋蛋白;NuSMV;PVS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
无级变速器 18篇文献引用(1998–2021) 软件作者: 普努利,A。;Shtrickman,O。;西格尔,M。 相关软件: TVOC;CVC;系统C… 主要字段: 数理逻辑与基础(03-XX);场论与多项式(12-XX);计算机科学(68-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;Yices;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;UFO… 主要字段: 计算机科学(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)
ModelPlex公司 10篇文献引用(2016–2024) 软件作者: Mitsch,S.、Platzer,A。 相关软件: 凯伊迈拉X;凯伊迈拉;dReach… 主要字段: 数理逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-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)…
第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)
埃德蒙兹-卡普 10篇文献引用(2016–2022) 软件作者: 彼得·兰米奇(Peter Lammich);塞菲加·雷扎 相关软件: Isabelle/HOL;存档正式证据;Gabow SCC… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…
丽贝卡 8份文件引用(2010–2022) 软件作者: 穆罕默德·马赫迪(Mohammad Mahdi);Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦查尔 相关软件: Uppaal;甲酚;定时丽贝卡… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
Speedith公司 9份文件引用(2012–2019) 软件作者: Urbas,M.、Jamnik,M.,Stapleton,G.、Flower,J。 相关软件: 超防;伊莎贝尔;迪亚贝利… 主要字段: 数理逻辑与基础(03-XX);几何(51-XX);凸和离散几何(52-XX)…
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 相关软件: 洛托斯;并发工作台;HOL… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
PSync(同步) 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… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
Z3str2型 8份文件引用(2017–2023) 软件作者: 郑云辉;维杰·加内什;萨努语Subramanian;特里普,奥马尔;墨菲·贝尔齐什;朱利安·杜比(Julian Dolby);张湘玉 相关软件: 陌生人;汉普;诺恩… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
AEtnaNova公司 8份文件引用(2011–2018) 软件作者: Eugenio G.Omodeo、Domenico Cantone、Alberto Policiti、Jacob T.Schwartz 相关软件: 裁判;SETL;Mizar… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);复变量函数(30-XX)…
CalCS公司 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;注册会计师检查;RapiTime… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
斯托克Hy 8份文件引用(2019年-2023年) 软件作者: Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件: 棱镜;FAUST2;SReachTools… 主要字段: 计算机科学(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游戏 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
UMM公司 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)
前夕 7份文件引用(2019年-2023年) 软件作者: 穆罕默德·纳吉布 相关软件: MCMAS;普拉林;MCMAS-SLK… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
PREVAIL公司 5份文件引用(1992–2014) 软件作者: 多米尼克·博里奥内;劳伦斯·皮埃尔;阿什拉夫·塞勒姆 相关软件: Nuprl;CoqMTU;Coquet… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
裁判 7份文件引用(2013–2018) 软件作者: 尤金尼奥·奥莫多;多梅尼科·坎通纳;阿尔贝托·波利克里蒂;雅各布·T·施瓦茨 相关软件: AEtnaNova;SETL;Mizar… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
增值税 7份文件引用(2012–2019) 软件作者: 安大略省Lengál;Šimáček,Jiří;汤姆·沃纳 相关软件: MTBDD;MONA;幻灯片… 主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)
BDDNOW公司 6篇文献引用(2000–2011) 软件作者: Kim Milvang-Jensen、Alan J.Hu 相关软件: Gprof;Sycraft;CUDD… 主要字段: 计算机科学(68-XX)
莫塞尔 5份文件引用(1997–2018) 软件作者: P.Kelb、T.Margaria、M.Mendler、C.Gsottberger 相关软件: MONA;Z;EMBOSS… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
拉尔夫 6篇文献引用(1997–2014) 软件作者: 克劳迪娅·哈登斯珀格、鲁道夫·伯哈默、冈特·施密特 相关软件: RALL;RelView;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-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。 相关软件: 酯类;Ada95;ASTRAL公司 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
Z2sal公司 5份文件引用(2008–2012) 软件作者: J Derrick,S North,A J H Simons公司 相关软件: 自旋蛋白;Z;Z/EVES… 主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(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)