×

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

爆炸

111篇文献引用(2003–2022)
软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Jhala,Ranjit;Rupak Majumdar;格雷戈伊尔·萨特雷
相关软件: SLAM;注册会计师检查;CBMC…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

113篇文献引用(2013–2022)
软件作者: 克里斯蒂安·索默
相关软件: 算法97;GraphChi;Pregel…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

VerICS版本

34份文件引用(2005–2023)
软件作者: 兹布热兹尼(Zbrzezny,Andrzej);沃兹纳、博·德·泽纳
相关软件: MCMAS;MCK;MOCHA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

S每个工具

6篇文献引用(2019–2022)
软件作者: 亚伯拉罕·维诺德(Abraham P.Vinod)。;约瑟夫·格里森(Joseph D.Gleason)。;Meeko M.K.Oishi。
相关软件: ProbReach;FAUST2;AMYTISS…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

ProbReach公司

引用于9份文件(2015–2023)
软件作者: 费多·什马罗夫(Fedor Shmarov);保罗·祖利亚尼
相关软件: SReachTools;AMYTISS公司;静止…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

AMYTISS公司

8份文件引用(2020–2023)
软件作者: 拉瓦伊(Lavaei),阿波法兹尔(Abolfazl);马哈茂德·哈立德;萨代赫·苏贾尼;马吉德·扎马尼
相关软件: SReachTools;ProbReach;棱镜…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

SPeeDI公司

7份文件引用(2002年至2017年)
软件作者: 细辛,尤金;佩斯,戈登;杰拉尔多·施耐德;塞尔吉奥·尤文
相关软件: GSPeeDI;高科技;ParaPlan…
主要字段: 常微分方程(34-XX);计算机科学(68-XX);系统论;对照(93-XX)

狂喜

7份文件引用(2005–2020)
软件作者: Jeannet B、dArgenio P、Larsen K
相关软件: 棱镜;参数;PROPhESY…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

C-SHORe公司

6篇文献引用(2013–2017)
软件作者: 克里斯托弗·布劳德本特(Christopher Broadbent);阿诺德·卡拉约尔;马修·黑格;奥利维尔·塞雷
相关软件: AProVE;廷巴克;MoCHi…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SReach公司

5份文件引用(2015–2022)
软件作者: Q.Wang、P.Zuliani、S.Kong、S.Gao、E.M.Clarke
相关软件: ProbReach;p面;SReachTools…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

巴赫

5份文件引用(2010–2018)
软件作者: Bu L、Li Y、Wang L和Li X
相关软件: SpaceEx;高科技;PHAVer…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

速度

5份文件引用(2002–2014)
软件作者:
相关软件: 克罗诺斯;高科技;McAiT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

杂交分析

4份文件引用(2009–2022)
软件作者: 卡萨格兰德,A。;德罗西,T。
相关软件: SpaceEx;d/dt;JuliaReach…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;对照(93-XX)

TIRA公司

2份文件引用(2019年至2021年)
软件作者: 皮尔雷·让·梅耶(Pierre-Jean Meyer);亚历克斯·德文波特;穆拉特·阿卡克
相关软件: 流量*;LipBaB;火炬差异…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

版本X

4份文件引用(2020–2022)
软件作者: Permenev,A.、Dimitrov,D.、Tsankov,P.、Drachsler-Cohen,D.、Vechev,M。
相关软件: solc验证;落叶松;埃菲尔…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

ILLTP公司

3份文件引用(2019年至2021年)
软件作者: 卡洛斯·奥拉特(Carlos Olarte);瓦莱丽娅·德·佩瓦;伊莱恩·皮门特尔(Elaine Pimentel);吉赛尔·赖斯
相关软件: 洛利;z3;DeepProbLog…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MLAT公司

3份文件引用(1993–2008)
软件作者: Sekizawa、Toshifusa;田边、吉诺里;Yuasa、Yoshifumi;高桥光一
相关软件: 爆炸;Kaskade7;PLTMG公司
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

STRONG公司

2份文件引用(2015–2021)
软件作者: 易登;阿克谢·拉汉斯;A.阿贡·朱利叶斯
相关软件: 高科技;PHAVer;内部进程…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

Kuai公司

2份文件引用(2019年至2021年)
软件作者: Majumdar,R.,Tetali,S.D.,Wang,Z。
相关软件: 食蚁兽;VeriCon公司;VeriFlow…
主要字段: 计算机科学(68-XX)

部分

2份文件引用(2001–2006)
软件作者: 购买,美国。;R.H.斯隆。
相关软件: Matlab;高科技;阿达95
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

防抱死制动系统

1份文件引用(2022)
软件作者: 亚历山大·韦伯(Alexander Weber);马科维奇克(Macoveiciuc)、伊利赛(Elisei);冈瑟Reissig
相关软件: AROC;GRKLib;p面…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

深度拆分

1份文件引用(2023)
软件作者: 陈绍如;Eric Wong;Kolter,J.Zico;马亚尔·法兹利亚布
相关软件: ImageNet;AlexNet;GPT-3…
主要字段: 代数几何(14-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

优化的DP

在0个文档中引用
软件作者: Minh Bui、George Giovanis、Mo Chen、Arrvindh Shriraman
相关软件: 异丙基氯;POMDPs.jl;TVM…
主要字段:

SAHA-工具

1份文件引用(2010)
软件作者: 达里奥·坎帕尼亚;卡拉广场
相关软件: OCaml;d/dt;HSolver…
主要字段: 计算机科学(68-XX)

WNetKAT公司

1份文件引用(2017)
软件作者: Larsen,Kim G。;施密德,斯特凡;薛冰田
相关软件: 荨麻;梅林;VeriFlow…
主要字段: 计算机科学(68-XX)

HyStar公司

在0个文档中引用
软件作者: Lin,H。;P.J.安萨克利斯。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件