×

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

ASTREE公司

112份文件引用(2002–2023)
软件作者: 帕特里克·库索特(Patrick Cousot)、拉迪亚·库索特、杰罗姆·费雷特(Jeróme Feret)、劳伦特·毛博尔涅(Laurent Mauborgne)、安托万·米内(Antoine Miné)、大卫·莫尼奥(David Monniaux)、泽维尔·
相关软件: 停机坪;z3;应用程序…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…

TVLA公司

33篇文献引用(2000–2022)
软件作者: 塔尔·列夫·阿米;穆利·萨吉夫
相关软件: ESC/Java;简化;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

维拉斯科

15篇文献引用(2016–2023)
软件作者: Jacques Henri Jourdan、Vincent Laporte、Sandrine Blazy、Xavier Leroy、David Pichardie
相关软件: Coq;工具链;z3…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);凸和离散几何(52-XX)…

中美合作所

10篇文献引用(2014年至2021年)
软件作者: 阿尔伯特·E.、阿雷纳斯·P.、弗洛雷斯·蒙托亚·A.、吉纳伊姆·S.、戈梅斯·扎马洛亚·M.、马丁·马汀·E.、普埃布拉·G.、罗曼·迪兹·G。
相关软件: 防抱死制动系统;JCobox;基利姆…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

PAGAI公司

10篇文献引用(2014–2022)
软件作者: 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊
相关软件: 停机坪;PPL;阿斯匹克…
主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

JSAI公司

6篇文献引用(2017–2022)
软件作者: 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫
相关软件: JavaScript;幻影;诺恩…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

泰皮卡尔

引用于9份文件(1985–2021)
软件作者: 北卡罗来纳州小林市。
相关软件: 管道;github;戈弗利泽…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

地精

8份文件引用(2009–2021)
软件作者: 沃达尼,V。;维尼,V。
相关软件: 洛克史密斯;继电器;ASTREE…
主要字段: 计算机科学(68-XX)

VeriSmall公司

5份文件引用(2012–2018)
软件作者: 安德鲁·W·阿佩尔。
相关软件: Coq;冲锋!;小脚…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

品脱

4份文件引用(2022–2023)
软件作者: L.Paulevé。
相关软件: PyBoolNet;CaDiCaL;Clingo…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

麻雀

5份文件引用(2016–2022)
软件作者: Hakjoo Oh、Kihong Heo、Wonchan Lee、Woosuk Lee、Kwangkeun Yi
相关软件: 烟尘;停机坪;ASTREE…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

慈白

4份文件引用(2007-2010年)
软件作者: 弗朗西斯科·洛戈佐
相关软件: ASTREE公司;CSSV;Groovy…
主要字段: 计算机科学(68-XX)

叮当声静态分析仪

1份文件引用(2021)
软件作者: Clang团队
相关软件: 设计;判决-BERT;ImageMagick…
主要字段: 计算机科学(68-XX)

萨维亚

4份文件引用(2011–2022)
软件作者: 劳伦特·休伯特(Laurent Hubert);尼古拉斯·巴尔;贝松,Fr‘ed’eric;Demange,Delphine;托马斯·延森(Thomas Jensen);文森特·蒙福特;大卫·皮哈迪(David Pichardie);蒂芬·特平
相关软件: WALA;PAGAI;深悟空…
主要字段: 计算机科学(68-XX)

eThor公司

3份文件引用(2021–2022)
软件作者: 克拉拉·施奈德温德、伊利亚·格里什琴科、马库斯·谢勒、马特奥·马菲
相关软件: SMT-LIB;CVC4;K校准仪…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

GASTAP公司

3份文件引用(2020–2022)
软件作者: E.阿尔伯特、P.戈迪略、A.鲁比奥、I.谢尔盖。
相关软件: Servois;github;加气站快车…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

Julia静态分析仪

3份文件引用(2013–2020)
软件作者: JuliaSoft;福斯托·斯波托
相关软件: ASTREE公司;戴坦;TAJ…
主要字段: 计算机科学(68-XX)

幻影

3份文件引用(2017–2021)
软件作者: Kneuss,E.、Suter,P.、Kuncak,V。
相关软件: JavaScript;JSAI;诺恩…
主要字段: 计算机科学(68-XX)

RangeLab公司

3份文件引用(2018–2021)
软件作者: 马特尔,M。
相关软件: PRECiSA公司;促进;Boost Interval算术…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

调试工具

3份文件引用(2020–2021)
软件作者: Tikhomirov,S.等人。
相关软件: github;蓄意破坏;LLVM…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

CASPA公司_

1份文件引用(2015年)
软件作者: 迈克尔·巴克斯(Michael Backes);斯特凡·洛伦茨;马特奥·马菲;金·佩西纳
相关软件: F*;塔马林;隐秘…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

Checkmate公司

2份文件引用(2017–2018)
软件作者: 费拉拉,P。
相关软件: 威胁安全;斯卡拉;围裙…
主要字段: 计算机科学(68-XX)

FuncTion公司

2份文件引用(2015年)
软件作者: C.城市。
相关软件: AProVE;OpenSMT;终极Kojak…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

混合动力波动器

1份文件引用(2015年)
软件作者: 奥利维埃·布伊索(Olivier Bouissou);埃里克·古鲍特(Eric Goubault);西尔维·普托;卡里姆·特卡尔;弗兰克·维德琳
相关软件: GRK标签
主要字段: 计算机科学(68-XX)

LOEWE公司

2份文件引用(2008–2019)
软件作者: ——
相关软件: 凯撒;CADP;LoLA…
主要字段: 计算机科学(68-XX)

美国国家航空航天研究所

2份文件引用(2010–2022)
软件作者: Mohammad T.Alkhamis、Saeed-Reza Sabbagh-Yazdi、Mahdi Esmaeili、Falah M.Wegian
相关软件: ——
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

PMD公司

在0个文档中引用
软件作者: 安德烈亚斯·丹格尔(Andreas Dangel);克莱门特·福尼尔;等人。
相关软件: 灌篮;PQL;CodeSurfer…
主要字段: ——

分析R

在0个文档中引用
软件作者: Pranav Chandramouli、Zadia Codabux、Melina Vidoni
相关软件: 循环压缩机;冠层;原型…
主要字段: ——

复杂性分析器

1份文件引用(2021)
软件作者: 埃曼纽尔·海因里;伊曼纽尔·詹德尔;罗曼·佩乔;奥利维尔·泽恩
相关软件: ANTLR;AProVE;TcT公司
主要字段: 计算机科学(68-XX)

螃蟹llvm

在0个文档中引用
软件作者: ——
相关软件: KLEE公司;薄片;CacheSim…
主要字段: ——

英尺切克

1份文件引用(2007)
软件作者: 莫尼奥特,R.K。
相关软件: FDLIBM;四元对数;LCLint…
主要字段: 数值分析(65-XX)

IccTA公司

在0个文档中引用
软件作者: 李丽;亚历山大·巴特尔;TegawendéF.Bissyandé;雅克·克莱恩;伊夫·勒特朗(Yves Le Traon);史蒂文·阿尔兹特(Steven Arzt);等人。
相关软件: LibRadar;FraudDroid;monkeyrunner…
主要字段: ——

伊塞马尔

在0个文档中引用
软件作者: Charith Mendis;萨曼·阿马拉辛格;迈克尔·卡宾
相关软件: ——
主要字段: ——

JavaPDG软件

1份文件引用(2018)
软件作者: Shu G、Sun B、Henderson TA、Podgurski A
相关软件: 准确指出;信息;暗黑破坏神…
主要字段: 计算机科学(68-XX)

蜥蜴

在0个文档中引用
软件作者: Terry Yin(泰瑞·尹)
相关软件: Matplotlib;数字Py;科学…
主要字段: ——

毕加索

1份文件引用(2012)
软件作者: 达米安·祖弗里(Damien Zufferey);托马斯·怀斯(Thomas Wies);托马斯·汉津格
相关软件: 电梯
主要字段: 计算机科学(68-XX)

帆船

1份文件引用(2020)
软件作者: Zanioli,M.,Ferrara,P.,Cortesi,A。
相关软件: 戴坦;TAJ公司;像素…
主要字段: 计算机科学(68-XX)

麻雀莓

1份文件引用(2017)
软件作者: Cho,S.、Kang,J.、Choi,J.和Yi,K。
相关软件: AProVE;A3PAT;CoLoR…
主要字段: 计算机科学(68-XX)

VERMEER公司

1份文件引用(2018)
软件作者: Schwartz-Narbonne,D.,Oh,C.,Schäf,M.,Wies,T。
相关软件: MiniSat;WhyLine;Kodkod…
主要字段: 计算机科学(68-XX)

清洁剂

在0个文档中引用
软件作者: 安德烈亚斯·多米尼克·卡尔曼
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件