毫升 516份文件引用(1978–2024) 软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学 相关软件: HOL;Coq;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
日本运通银行 25篇文献引用(2002–2022) 软件作者: 克劳斯·哈弗伦德;格里高·罗什乌 相关软件: Java PathFinder;莫德;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
拉瓦 20篇文献引用(2011–2023) 软件作者: 玛格努斯·奥·米林(Magnus O.Myreen)。;贾里德·戴维斯 相关软件: 吉塔瓦;HOL;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(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)
克拉拉 5份文件引用(2011–2021) 软件作者: Bodden E、Lam P、Laurie L 相关软件: Java-MOP;apcluster;VGGFace2… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
乌鸦脚 5份文件引用(2011–2015) 软件作者: 纳撒尼尔·查尔顿;本·霍斯福尔(Ben Horsfall);罗伊斯,伯恩哈德 相关软件: 小脚;VeriFast;jStar… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
JSFlow公司 4份文件引用(2015–2018) 软件作者: 赫丁,D。;Birgisson,A。;Bello,L。;Sabelfeld,A。 相关软件: FlowFox公司;Jif;JavaScript… 主要字段: 计算机科学(68-XX)
昏迷 2份文件引用(2016年至2021年) 软件作者: P Arcaini、A Gargantini、E Riccobene 相关软件: AsmetaSMV;NuSMV;ASMETA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
水晶球 4份文件引用(2019–2022) 软件作者: 马特·索斯;拉加夫·库尔卡尼;Kuldeep S.梅尔。 相关软件: 查夫;MiniSat;OTTER… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
G小调 4份文件引用(2010–2019) 软件作者: 安德鲁·麦克里特(Andrew McCreight);蒂姆·骑士;安德鲁·托尔马赫 相关软件: Coq;CompCert;CompCertTSO… 主要字段: 计算机科学(68-XX)
RiTHM公司 4份文件引用(2015–2020) 软件作者: Navabpour S、Joshi Y、Wu CWW、Berkovich S、Medhat R、Bonakdarpour B、Fischmeister S 相关软件: CBMC;NuSMV;旋转… 主要字段: –
ROS监测 2份文件引用(2021–2023) 软件作者: A.Ferrando、R.C.Cardoso、M.Fisher、D.Ancona、L.Franceschini、V.Mascardi 相关软件: SPOT;HyperTensioN;MCMAS… 主要字段: 计算机科学(68-XX)
TeSSLa公司 4份文件引用(2018–2022) 软件作者: 卢卡斯修道院;塞巴斯蒂安·亨格瑞克;Martin Leucker;托本·谢菲尔;施密茨,马尔特;丹尼尔·托马 相关软件: LOLA;蒙保利;BeepBeep… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
合同Larva 引用于3份文件(2018–2021) 软件作者: 约书亚·埃卢尔(Joshua Ellul);J.速度 相关软件: 条纹;LOLA;蒙保利… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
JBMC公司 2份文件引用(2021–2022) 软件作者: 科代罗,卢卡斯;帕斯卡·凯塞利(Pascal Kesseli);Daniel Kroening;Peter Schrammel;马雷克·特提克 相关软件: OpenJML;凯伊;JML单位… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
互方面 2份文件引用(2012–2021) 软件作者: 贾斯汀·塞斯特;迪克西特、科坦;黄小婉;格鲁苏,拉杜;克劳斯·哈弗伦德;斯科特·斯莫尔卡(Scott A.Smolka)。;斯科特·斯托勒(Scott D.Stoller)。;埃雷兹·扎多克 相关软件: 方面J;LOLA;AspectWerkz… 主要字段: 计算机科学(68-XX)
JCML公司 2份文件引用(2009–2012) 软件作者: Da Costa,翁贝托·苏扎;莫雷拉(Moreira)、阿纳玛丽亚·马丁斯(Anamaria Martins);Martin A.Musicante。;索扎·内托(Souza Neto),Pl’acido A。 相关软件: 回路;Z;JML… 主要字段: (68N15-XX);(68N30-XX)
迷你枫木 2份文件引用(2012) 软件作者: 穆罕默德·泰穆尔·汗;沃尔夫冈·施莱纳 相关软件: Why3;枫树;差异DifferenceDifferential… 主要字段: 计算机科学(68-XX)
差异DifferenceDifferential 1份文件引用(2012) 软件作者: 穆罕默德·泰穆尔·汗;沃尔夫冈·施莱纳 相关软件: Why3;迷你枫树;枫树 主要字段: 计算机科学(68-XX)
FLD编译器 1份文件引用(2021) 软件作者: Maxime Jacquemin、Fonentsoa Maurica、Nikolai Kosmatov、Julien Signoles、Franck Védrine 相关软件: FLD箱 主要字段: 计算机科学(68-XX)
TXP公司 1份文件引用(2005) 软件作者: Dudani,S.、Geada,J.、Jakacki,G.、Vainer,D。 相关软件: Java-MaC;LTL2BA;自旋蛋白 主要字段: 计算机科学(68-XX)