×

找到36个软件包(结果1-36)

毫升

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)

CD光盘++

8份文件引用(2002–2010)
软件作者: 加布里埃尔·韦纳
相关软件:
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);运筹学,数学编程(90-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)

CoLiS公司

2份文件引用(2017)
软件作者: 尼古拉斯·珍妮罗德;克劳德·马奇;拉尔夫·特里宁
相关软件: Why3;WhyML;CVC4…
主要字段: 计算机科学(68-XX)

电子稳定控制系统4

2份文件引用(2010–2011)
软件作者: 佩里·R·詹姆斯。;帕特里斯·沙林
相关软件: 布吉;ESC/Java;cvc3…
主要字段: 计算机科学(68-XX)

公式2.0

2份文件引用(2013–2016)
软件作者: 伊桑·K·杰克逊。;沃尔夫拉姆·舒尔特
相关软件: AGG;ATL;时刻2…
主要字段: 计算机科学(68-XX)

霍尔巴

2份文件引用(2020–2022)
软件作者: 迪德里克·伦德伯格(Didrik Lundberg);罗伯特·瓜夏莱(Roberto Guanciale);安德烈亚斯·林德纳;达姆,麦兹
相关软件: RGITL;达夫尼;GNAT证明…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

伯恩斯坦

1份文件引用(2016)
软件作者: Cheng CH、Ruess H、Shankar N
相关软件: 梅蒂塔斯基;EFSMT;dReal…
主要字段: 计算机科学(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)

罗素

2份文件引用(2011–2020)
软件作者: D.Yu,弗拉索夫。
相关软件: 元数学;小分子模型;github
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SANDLog日志

1份文件引用(2015)
软件作者: 陈,陈;贾利民;徐浩;罗成;周文超;Loo,Boon Thau先生
相关软件: VCGen;Coq;RapidNet…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

小米

2份文件引用(2011–2012)
软件作者: D.Yu,弗拉索夫。
相关软件: 元数学;罗素
主要字段: 数学逻辑与基础(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)

护城河

1份文件引用(2017)
软件作者: Sinha R、Rajamani SK、Seshia SA、Vaswani K
相关软件: 梅林;JFlow;层压…
主要字段: 计算机科学(68-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)

伏都教

1份文件引用(2004)
软件作者: 迪瑟斯,卡斯滕;迈克尔·休恩
相关软件: Uppaal公司
主要字段: 计算机科学(68-XX)

Z34生物

1份文件引用(2016)
软件作者: B.Yordanov、C.Wintersteiger、Y.Hamadi、H.Kugler
相关软件: 萨齐拉;PicoSAT;小脚…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件