毫升 516份文件引用(1978–2024) 软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学 相关软件: HOL;Coq;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
ACL2型 287份文件引用(1998–2023) 软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore) 相关软件: Coq;Isabelle/HOL;PVS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
测试程序集 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
常春藤 21篇文献引用(2017–2023) 软件作者: McMillan,K.L.,Padon,O。 相关软件: 常春藤;z3;IronFleet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
捕食者 15篇文献引用(2012–2021) 软件作者: 卡米尔·杜德卡;彼得·米勒;彼得·佩林格(Petr Peringer);汤姆·沃纳 相关软件: 注册会计师检查;CBMC;幻灯片… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
飞天螳螂 在14份文件中引用(2009–2017) 软件作者: 克雷默斯,C。 相关软件: AVISPA;阿克斯;塔马林… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
VeriFun公司 10篇文献引用(2005–2017) 软件作者: 克里斯托夫·沃尔特;斯蒂芬·施韦策 相关软件: ACL2;哈斯克尔;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
PSync(同步) 引用于9份文件(2016–2023) 软件作者: 塞扎拉奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;达米安·祖弗里 相关软件: 威尔第;常春藤;ByMC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
斯托克Hy 8份文件引用(2019年-2023年) 软件作者: Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件: 棱镜;FAUST2;SReachTools… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
真相/SLC 4份文件引用(2001–2007) 软件作者: Leucker,Martin;诺尔,托马斯 相关软件: mCRL;CADP;PlayGame游戏 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
欧氏瓣心内膜炎 4份文件引用(2019年至2021年) 软件作者: 穆罕默德·纳吉布 相关软件: MCMAS;普拉林;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
UML秒 2份文件引用(2014–2018) 软件作者: Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、Shen S 相关软件: 跳跃;TGV;LUSTRE… 主要字段: 计算机科学(68-XX)
自动同步 3份文件引用(2009–2012) 软件作者: 怀、金鹏;邓婷;李宪贤;杜宗霞;郭慧鹏 相关软件: WSAT;NuSMV;LTSA-WS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
VCGen公司 2份文件引用(2015–2023) 软件作者: 陈,陈;贾利民;徐浩;罗成;周文超;Loo,Boon Thau先生 相关软件: SANDLog;Coq;KeY… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
验证者 3份文件引用(2016年至2019年) 软件作者: 高弘久保田;Kakutani、Yoshihiko;加藤,加油;川野康仁;樱田秀树 相关软件: QPL;质量管理清单;QPMC… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
霍尔巴 2份文件引用(2020–2022) 软件作者: 迪德里克·伦德伯格(Didrik Lundberg);罗伯特·瓜夏莱(Roberto Guanciale);安德烈亚斯·林德纳;达姆,麦兹 相关软件: RGITL;达夫尼;GNAT证明… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Nusschecker(数字检查器) 2份文件引用(2020–2023) 软件作者: 丹尼尔·考夫曼(Daniela Kaufmann);阿明·比尔 相关软件: 帕切克;博斯普鲁斯;RevSCA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
转向器电源 2份文件引用(2016–2018) 软件作者: A.Hazra、R.Mukherjee、P.Dasgupta、A.Pal、K.Harer、A.Banerjee、S.Mukherjee 相关软件: MiniSat;通过;AMT… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
SANDLog日志 1份文件引用(2015) 软件作者: 陈,陈;贾利民;徐浩;罗成;周文超;Loo,Boon Thau先生 相关软件: VCGen;Coq;RapidNet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Smt-Switch开关 1份文件引用(2021) 软件作者: 马凯·曼;阿玛莉·威尔逊(Amalee Wilson);尤尼·佐哈尔;林赛·特恩茨;艾哈迈德·伊尔凡;克里斯托弗·布朗(Kristopher Brown);卡勒布·多诺维克;Allison Guman;蒂内利、塞萨尔;克拉克·巴雷特 相关软件: 谷歌测试;z3;PySMT… 主要字段: 计算机科学(68-XX)
solc验证 2份文件引用(2021) 软件作者: 阿尔科斯·哈伊杜,德扬·约瓦诺维奇 相关软件: VerX;深海;Manticore… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
WhyMP公司 2份文件引用(2020–2023) 软件作者: 梅尔金德(Melquiond)、纪尧姆(Guillaume);拉斐尔·里乌·赫尔夫特 相关软件: Why3;HACL*;gmp… 主要字段: 计算机科学(68-XX)
ASDeX公司 1份文件引用(2018) 软件作者: 马明宇(Mingyu Ma)、拉尔斯·赫德里奇(Lars Hedrich)、克里斯汀·斯波勒(Christian Sporrer) 相关软件: MiniSat;通过;AMT… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
反向彩铃 1份文件引用(2018) 软件作者: 纳瓦罗·洛佩斯;医学博士O'Toole。 相关软件: 抱怨;梅斯恰赫;ABsolver… 主要字段: 粒子和系统力学(70-XX);生物学和其他自然科学(92-XX);系统论;对照(93-XX)
ST-Lib型 1份文件引用(2019) 软件作者: J.Kapinski、X.Jin、J.Deshmukh、A.Donzé、T.Yamaguchi、H.Ito、T.Kaga、S.Kobuna、S.A.Seshia 相关软件: S-TaLiRo型 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
Z34生物 1份文件引用(2016) 软件作者: B.Yordanov、C.Wintersteiger、Y.Hamadi、H.Kugler 相关软件: 萨齐拉;PicoSAT;小脚… 主要字段: 计算机科学(68-XX)