×

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

CBMC公司

86篇文献引用(2004–2023)
软件作者: Clarke E、Kroening D、Lerda F
相关软件: 爆炸;MiniSat;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

PolyLib公司

46篇文献引用(1996–2019)
软件作者: Loechner,V。;多兰·王尔德。
相关软件: 应用程序;高科技;拿铁…
主要字段:

CSSV公司

16篇文献引用(2004–2013)
软件作者: 多尔,N.,罗德,M.,萨吉夫,M
相关软件: ASTREE公司;TVLA;CBMC…
主要字段:

KeOps公司

12份文件引用(2019–2022)
软件作者: 查利尔,B.,费迪,J.,格劳内斯,J。
相关软件: PyTorch;L-BFGS;Python…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);统计学(62-XX)…

地址消毒剂

3份文件引用(2016–2020)
软件作者: Serebryany,K.、Bruening,D.、Potapenko,A.、Vyukov,D。
相关软件: CODA;CRAN;R、 …
主要字段:

深悟空

2份文件引用(2021–2023)
软件作者: Cheng,X。;Wang,H。;Hua,J。;徐,G。;隋,Y。
相关软件: ovAFLow;夹板;布加鲁…
主要字段:

组合数学.jl

在0个文档中引用
软件作者: 陈嘉豪;亚历山德罗·安德烈奥尼(Alessandro Andrioni);等。
相关软件: 建模工具包.jl;微分方程.jl;SymbolicUtils.jl…
主要字段:

黄金

在0个文档中引用
软件作者: GFDL公司
相关软件: QGModel模型;皮克;Q-GCM…
主要字段:

PBURF03.jl公司

1份文件引用(2018)
软件作者: 埃尔南德斯,L.J。
相关软件: 朱莉娅
主要字段:

软绑定(SoftBound)

1份文件引用(2020年)
软件作者: Nagarakatte,S.、Zhao,J.、Martin,M.M.、Zdancewic,S
相关软件: Jinja线程;存档正式证据
主要字段:

WINTRAC公司

1份文件引用(2001)
软件作者: Aweya,J。;Ouellette,M。;蒙图诺,D.Y。;姚,Z。
相关软件:
主要字段: (68M20-XX);(68M10-XX)

亮点RTC

在0个文档中引用
软件作者: 里德·米列维茨;拉杰什·万卡;詹姆斯·塔克;丹尼尔·昆兰(Daniel Quinlan);彼得·皮尔克鲍尔
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段