克洛诺斯 246篇文献引用(1997–2022) 软件作者: Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件: Uppaal;高科技;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
Reluplex公司 71篇文献引用(2017–2024) 软件作者: 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件: 马拉博;AI2;NNV… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
日本运通银行 25篇文献引用(2002–2022) 软件作者: 克劳斯·哈弗伦德;格里高·罗什乌 相关软件: Java PathFinder;莫德;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
乔托 17篇文献引用(2001–2022) 软件作者: 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件: 卢斯特;Uppaal;酯类… 主要字段: 计算机科学(68-XX);系统理论;控制(93-XX)
真相/SLC 4份文件引用(2001–2007) 软件作者: Leucker,Martin;诺尔,托马斯 相关软件: mCRL;CADP;PlayGame游戏 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
p面 7份文件引用(2019–2022) 软件作者: 哈立德,马哈茂德;马吉德·扎马尼 相关软件: SCOTS;ROCS;CoSyma… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统理论;控制(93-XX)
VeriPhy公司 6篇文献引用(2018–2022) 软件作者: Brandon Bohrer、Yong Kiam Tan、Stefan Mitsch、Magnus O.Myreen、AndréPlatzer 相关软件: 凯伊迈拉;Coq;ModelPlex… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
深度计 3份文件引用(2020–2021) 软件作者: 马磊(Lei Ma)、费利克斯(Felix Juefei-Xu)、张福源(Fuyuan Zhang)、孙继源(Jiyuan Sun)、薛敏慧(Minhui Xue)、李波(Bo Li)、陈春阳(Chunyang Chen)、苏婷(Ting Su)、李丽(Li Li 相关软件: DeepXlore;TensorFuzz;亚当… 主要字段: 统计学(62-XX);计算机科学(68-XX)
国际卫星通信协会 4份文件引用(2015–2017) 软件作者: K.Scheibler、S.Kupferschmid、B.Becker 相关软件: SMT-RAT;数学SAT5;CVC4… 主要字段: 计算机科学(68-XX)
OmegaThreads公司 3份文件引用(2021年至2022年) 软件作者: 哈立德,马哈茂德;马吉德·扎马尼 相关软件: p面;SCOTS;条纹… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统理论;控制(93-XX)
SC图表 引用于2份文件(2015–2018) 软件作者: R.von Hanxleden等人。 相关软件: 酯类;卢斯特;VerCors… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
PRODeep公司 引用于2份文件(2021年) 软件作者: 李锐,李杰,黄CC,杨P,黄X,张L,薛B,Hermanns H 相关软件: Reluplex;马拉博;阿波罗… 主要字段: 计算机科学(68-XX)
DaDRA公司 在0个文档中引用 软件作者: Jared Mejia、Alex Devonport、Murat Arcak 相关软件: 阿里阿德涅;Isabelle/HOL;NLTOOLBOX… 主要字段: –
鸽子 1份文件引用(2003) 软件作者: Ozols,硕士,Eastaughffe,K.A.,Cant,A.,Collignon,S 相关软件: KIV;自动化;数字(amp;N)… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
马拉松2 1份文件引用(2023年) 软件作者: S.Macenski、F.Martín、R.White、J.G.Clavero 相关软件: Frama-C;达夫尼;ROS… 主要字段: 计算机科学(68-XX)
Veritex公司 1份文件引用(2022) 软件作者: 杨晓东;汤姆·山口;Tran,Hoang-Dung;巴德省霍克萨;泰勒·T·约翰逊。;丹尼尔·普罗霍罗夫 相关软件: 马拉博;NNV;重新连接… 主要字段: 计算机科学(68-XX)