×

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

有限责任公司

78篇文献引用(2006–2023)
软件作者: Lattner,C.,Adve,V。;伊利诺伊大学
相关软件: z3;朱莉娅;Python…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

CBMC公司

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

JOBSHOP公司

96篇文献引用(1991–2023)
软件作者: David Applegate;威廉·库克
相关软件: 禁忌搜索;ILOG时间表;OR-库…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

投掷

59篇文献引用(2005–2022)
软件作者: 帕特里斯·戈德弗罗德;尼尔斯·克拉伦德;库什克森
相关软件: 可爱的;z3;KLEE…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

VCC公司

61篇文献引用(2010–2023)
软件作者: Ernie Cohen、Markus Dahlweid、Mark Hillebrand、Dirk Leinenbach、MichałMoskal、Thomas Santen、Wolfram Schulte、Stephan Tobies
相关软件: z3;布吉;Dafny…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PALP公司

75篇文献引用(2003–2023)
软件作者: M.Kreuzer、H.Skarke
相关软件: SageMath;TOPCOM公司;Calabi Yau数据库…
主要字段: 代数几何(14-XX);微分几何(53-XX);计算机科学(68-XX)…

Caduceus公司

54篇文献引用(2005–2022)
软件作者: Jean-Christophe Filliátre,Claude Marché
相关软件: 卡拉卡拉;Why3;布吉…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

LP手册

50篇文献引用(2001–2024)
软件作者: 罗伯特·范德贝(Robert J.Vanderbei)。
相关软件: NETLIB LP测试集;生活质量;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

CIL公司

33篇文献引用(2002–2022)
软件作者: Necula,G.C.,McPeak,S.,Rahul,S.P.,Weimer,W。
相关软件: 爆炸;CBMC;SLAM…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

SCL总成

32篇文献引用(2009年至2024年)
软件作者: 杜珊·武德拉戈维奇;伊万娜·维达诺维奇;安顿巴拉日;保萨米·穆鲁加南丹(Paulsamy Muruganandam);Adhikari,Sadhan K。
相关软件: 格罗斯·皮塔耶夫斯基;AEDU;图像时间1d…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

千兆赫

33篇文献引用(1996–2024)
软件作者: 德莱克·荷尔特
相关软件: 间隙;岩浆;自动化…
主要字段: 组合数学(05-XX);群论与推广(20-XX);流形和细胞复合体(57-XX)…

不明飞行物

22篇文献引用(2012–2022)
软件作者: Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik
相关软件: CPA检查员;z3;爆炸…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

盖比特

26篇文献引用(2016–2023)
软件作者: 克雷格·科斯特洛(Craig Costello);Cédric Fornet;乔恩·豪厄尔;马尔库夫·科尔维斯;本杰明·克鲁特;迈克尔·奈赫里格(Michael Naehrig);布莱恩·帕诺;萨米·扎赫尔
相关软件: 皮诺奇;C的SNARK;利盖罗…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

CCured公司

18篇文献引用(2002–2018)
软件作者: Necula,G.C.,McPeak,S.,Weimer,W。
相关软件: 灌篮;投掷;Java PathFinder…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

SACLIB公司

23篇文献引用(1993–2009)
软件作者: David G.Richardson:沃纳·克兰迪克
相关软件: QEPCAD;枫树;FOXBOX…
主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)…

塔迪夫

24篇文献引用(1999–2022)
软件作者: C.Bendtsen、Ole Stauring
相关软件: FADBAD++;剖面/偏差;舒适…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

符号差异

20篇文献引用(2012–2023)
软件作者: Lahiri,S.、Hawblitzel,C.、Kawaguchi,M.、Rebelo,H。
相关软件: z3;布吉;CBMC…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…

CSSV公司

16篇文献引用(2004–2013)
软件作者: 多尔,N.,罗德,M.,萨吉夫,M
相关软件: ASTREE公司;TVLA;CBMC…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

捕食者

15篇文献引用(2012–2021)
软件作者: 卡米尔·杜德卡;米勒、佩特;彼得·佩林格(Petr Peringer);汤姆·沃纳
相关软件: CPA检查员;CBMC;幻灯片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Giac公司

17篇文献引用(2010–2024)
软件作者: B.巴黎
相关软件: GeoGebra;单一;Xcas…
主要字段: 交换代数(13-XX);代数几何(14-XX);几何(51-XX)…

有限责任公司

13份文件引用(2012–2022)
软件作者: 法尔克,斯蒂芬;弗洛里安·默兹(Florian Merz);辛兹,卡斯滕
相关软件: 不明飞行物;CPA检查员;CBMC…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

匕首

15篇文献引用(2008–2021)
软件作者: 巴加夫S.古拉瓦尼。;查克拉波蒂,苏普拉蒂克;阿迪蒂亚·诺里(Aditya V.Nori)。;Rajamani,Sriram K。
相关软件: PPL;停机坪;SLAM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

推断

15篇文献引用(2015–2023)
软件作者: Calcagno,C.,Distefano,D。
相关软件: 幻灯片;小脚;HIP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

动态记录仪

14篇文献引用(2002–2021)
软件作者: 戈登·伍德赫尔
相关软件: 格拉夫维兹;KEGG;R、 …
主要字段: 组合数学(05-XX);群论与推广(20-XX);统计学(62-XX)…

螺纹加工工

12份文件引用(2012–2020)
软件作者: 科内留·波皮亚(Corneliu Popeea);安德烈·里巴尔琴科
相关软件: CPA检查员;灌篮;CBMC…
主要字段: 计算机科学(68-XX)

YOGI公司

13份文件引用(2010–2022)
软件作者: Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Adityas V.Thakur
相关软件: z3;投掷;可爱…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

高速缓冲存储器

11份文件引用(2012–2021)
软件作者: Grebenshchikov,S.、Gupta,A.、Lopes,N.P.、Popeea,C.、Rybalchenko,A。
相关软件: z3;CiaoPP;再见…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

科尔莫戈罗夫·斯米尔诺夫区

12份文件引用(2014年-2023年)
软件作者: 理查德·西蒙德(Richard Simard);皮埃尔·勒库耶
相关软件: R;k.c;火炬差异…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

金刚狼

11份文件引用(2012–2020)
软件作者: 乔治·魏森巴赫(Georg Weissenbacher);Daniel Kroening;沙拉德·马利克
相关软件: 灌篮;CPA检查员;爆炸…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

克拉托斯

10篇文献引用(2011–2022)
软件作者: A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri
相关软件: 爆炸;系统C;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

洛克史密斯

10篇文献引用(2008–2021)
软件作者: Pratikakis,P.、Foster,J.S.、Hicks,M。
相关软件: 继电器;橡皮擦;地精…
主要字段: 计算机科学(68-XX)

KITTeL公司

10篇文献引用(2011–2022)
软件作者: 法尔克,斯蒂芬;卡普尔,迪帕克;卡斯滕·辛兹
相关软件: z3;控制;Yices…
主要字段: 计算机科学(68-XX)

副驾驶员

引用于8份文件(2012–2022)
软件作者: Pike L、Goodloe A、Morisset R、Niller S
相关软件: 卢斯特;LOLA;JPAX…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

奥丁MP/CCp

9份文件引用(2000–2010)
软件作者: 布伦陈,克里斯蒂安;Brorsson,Mats公司
相关软件: STAPL;序曲;电缆S
主要字段: 计算机科学(68-XX)

终极Automizer

引用于8份文件(2015–2022)
软件作者: 马提亚斯·海兹曼;耶尔根基督;丹尼尔·迪特施(Daniel Dietsch);埃夫伦,埃尔米斯;Jochen Hoenicke;马库斯·林登曼;亚历山大·纳茨(Alexander Nutz);席林(Christian Schilling);安德烈亚斯·波德尔斯基
相关软件: SMT互联网;CBMC;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

维尔文

9份文件引用(2012–2021)
软件作者: 赵建洲;桑托什,纳加拉卡特;Martin,Milo M.K。;史蒂夫·兹丹塞维奇
相关软件: Coq;VST-Floyd;工具链…
主要字段: 计算机科学(68-XX)

F外壳

6篇文献引用(2010–2016)
软件作者: 安德烈亚斯·霍尔泽(Andreas Holzer);克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格(Michael Tautschnig);赫尔穆特·维思
相关软件: Java PathFinder;CPA检查员;RapiTime…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

Ginv公司

引用于8份文件(2006–2014)
软件作者: 于布林科夫。答:。;副总裁Gerdt。
相关软件: 珍妮特;枫树;代数托马斯…
主要字段: 交换代数(13-XX);结合环与代数(16-XX);偏微分方程(35-XX)…

RcppGSL公司

2份文件引用(2013–2018)
软件作者: 罗曼·弗朗索瓦;德克·埃德布特尔
相关软件: R;卢比;RcppArmadillo…
主要字段: 统计学(62-XX);计算机科学(68-XX)

VST-弗洛伊德

引用于8份文件(2018–2023)
软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特(Samuel Gruetter);约西亚·多兹;安德鲁·W·阿佩尔。
相关软件: Coq;工具链;锈蚀…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

KeY-C型

5份文件引用(2009–2023)
软件作者: 穆尔克,奥列格;丹尼尔·拉尔森(Daniel Larsson);雷纳·哈内尔
相关软件: Isabelle/HOL;Why3;布吉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

利奥纳多

5份文件引用(2002–2007)
软件作者: P.Crescenzi、C.Demetrescu、I.Finocchi、R.Petreschi
相关软件: 探戈;波尔卡;宙斯…
主要字段: 计算机科学(68-XX)

StEAM公司

3份文件引用(2004–2011)
软件作者: 彼得·莱文(Peter Leven);蒂尔曼·梅勒;斯特凡·爱德坎普
相关软件: 自旋蛋白;卫星抗体;Zing…
主要字段: 计算机科学(68-XX)

5桶

5份文件引用(2013–2020)
软件作者: 乔治·马尔萨格里亚;Wai Wan Tsang;王晶波
相关软件: R;Apache Spark;MKL…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

算法722

5份文件引用(1993–2017)
软件作者: W.J.科迪。;杰罗姆·T·库恩。
相关软件: 马赫;INTLIB;knitr…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX);统计学(62-XX)…

燃料电池++

5份文件引用(2002–2011)
软件作者: 布莱恩·麦克纳马拉(Brian McNamara);亚尼斯·斯马拉格达基斯
相关软件: STL;Lambda库C++;Python…
主要字段: 代数拓扑(55-XX);计算机科学(68-XX)

SCL-HYB总成

5份文件引用(2016–2023)
软件作者: Satarić,Bogdan;斯拉夫尼奇,弗拉基米尔;Aleksandar Belić;安顿巴拉日;保萨米·穆鲁加南丹(Paulsamy Muruganandam);Adhikari,Sadhan K。
相关软件: imagtime3d-hyb;实时3d-hyb;总SCL…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

懒惰的CSeq

4份文件引用(2015–2018)
软件作者: 弗拉基米尔·赫特;Le,Hoang M。;丹尼尔·格罗(Daniel Große);罗尔夫·德雷克斯勒
相关软件: CBMC;Cseq;MU-CSeq…
主要字段: 计算机科学(68-XX)

倾斜-C

5份文件引用(2017–2023)
软件作者: Zahur,S.,Evans,D。
相关软件: ABY;TinyGarble;护卫舰…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

猎户座

4份文件引用(2006–2018)
软件作者: Dams,Dennis R。;Kedar S.Namjoshi。
相关软件: 卫星抗体;爆炸;Goanna…
主要字段: 计算机科学(68-XX)

交流合成孔径雷达

3份文件引用(2009–2011)
软件作者: Seghir,M.N.,Podelski,A。
相关软件: 灌篮;卫星抗体;简单…
主要字段: 计算机科学(68-XX)

安吉利克斯

3份文件引用(2017–2023)
软件作者: S.Mechtaev、J.Yi、A.Roychoudhury
相关软件: 先知;SemFix;代码缺陷…
主要字段: 计算机科学(68-XX)

自动更正

3份文件引用(2015–2018)
软件作者: 值得信赖的系统集团
相关软件: LEDA;Coq;Verdi…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

叮当声静态分析仪

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

CodeBoost(代码增强)

3份文件引用(2009–2011)
软件作者: O.行李
相关软件: STL;蜉蝣;libstdc++…
主要字段: 代数拓扑(55-XX);计算机科学(68-XX)

HyCC公司

4份文件引用(2020–2023)
软件作者: Büscher,N.、Demmler,D.、Katzenbeisser,S.、Kretzmer,D.、Schneider,T。
相关软件: ABY;怀斯特里亚;美味…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

LCLint公司

3份文件引用(2007–2010)
软件作者: Evans D、Guttag J、Horning J、Meng Tan Y
相关软件: 规范#;埃菲尔;西尔夫…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

纽波尔卡

3份文件引用(2007–2015)
软件作者: 珍妮特·B。
相关软件: PPL;停机坪;罗密欧…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

RiTHM公司

4份文件引用(2015年至2020年)
软件作者: Navabpour S、Joshi Y、Wu CWW、Berkovich S、Medhat R、Bonakdarpour B、Fischmeister S
相关软件: CBMC;NuSMV;旋转…
主要字段: 计算机科学(68-XX)

RngStreams公司

3份文件引用(2014–2017)
软件作者: 安德鲁·T·卡尔。;兰迪·尤班克;杰琳娜·米洛瓦诺维奇;马克·赖瑟(Mark Reiser);年轻,丹尼斯
相关软件: R;天然气蒸汽;RngStreams…
主要字段: 统计学(62-XX);数值分析(65-XX)

SAFE代码

4份文件引用(2008–2013)
软件作者: Dhurjati,D.,Kowshik,S.,Adve,V。
相关软件: CCured;Coq;有限责任公司
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

桑特

1份文件引用(2018)
软件作者: 奥马尔·切巴罗;尼古拉·科马托夫;阿兰·乔尔盖蒂;雅克·朱利安德
相关软件: Frama-C;PathCrawler;Coq…
主要字段: 计算机科学(68-XX)

终极Kojak

3份文件引用(2015–2018)
软件作者: Ermis,E.,Nutz,A.,Dietsch,D.,Hoenicke,J.,Podelski,A。
相关软件: CPA检查员;AProVE;CBMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿斯特拉维尔

2份文件引用(2021–2022)
软件作者: Grigoriy Volkov、Mikhail Mandrykin、Denis Efremov
相关软件: Coq;Why3;Dafny…
主要字段: 计算机科学(68-XX)

深度修复

1份文件引用(2023)
软件作者: Rahul Gupta、Soham Pal、Aditya Kanade、Shirish Shevade
相关软件: PHOG;缺陷4J;先知…
主要字段: 计算机科学(68-XX)

欧几里得

2份文件引用(2012–2017)
软件作者: 阿尔诺·哥特利布(Arnaud Gotlieb);本杰明·卡玛;IRISA的Lande项目团队
相关软件: 可爱的;投掷;派克斯…
主要字段: 计算机科学(68-XX)

焦点检查

2份文件引用(2005–2006)
软件作者: 柯蒂斯·W·凯勒。;Diptikalyan Saha;萨米克·巴苏;斯科特·斯莫尔卡。
相关软件: 卫星抗体;奥兹;DiVer…
主要字段: 计算机科学(68-XX)

地理计数

1份文件引用(2020)
软件作者: 梁静;维克托·德·奥利维拉
相关软件: R;SSN;lgcp…
主要字段: 统计学(62-XX)

杰西

1份文件引用(2011)
软件作者: 马奇,C.,莫伊,Y。
相关软件: Frama-C;Coq;Why3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

KLOVER公司

1份文件引用(2017)
软件作者: 李国栋;Indradeep Ghosh;Sreeranga P.Rajan公司
相关软件: 灌篮;投掷;Angelix…
主要字段: 计算机科学(68-XX)

迈萨

3份文件引用(2002–2012)
软件作者: 鲁道夫·费伦茨;朱哈·古斯塔夫松(Juha Gustafsson);LászlóMüller;朱卡·巴基
相关软件: 哥伦布;鹿
主要字段: 计算机科学(68-XX)

MU-CSeq公司

2份文件引用(2017–2018)
软件作者: Tomasco,E.,Inverso,O.,Fischer,B.,Torre,S.L.,Parlato,G。
相关软件: 懒惰的CSeq;CBMC;Cseq…
主要字段: 计算机科学(68-XX)

分裂

3份文件引用(2004–2023)
软件作者: 戴维·埃文斯(David Evans);弗吉尼亚大学;http://www.spap.org/credits.html
相关软件: ovAFLow;布加罗;朱丽叶测试套件…
主要字段: 计算机科学(68-XX)

痛饮

1份文件引用(2010)
软件作者: Sotiria Lampoudi;大卫·M·比兹利
相关软件: CScout;SQLite;休眠…
主要字段: 计算机科学(68-XX)

SymDIVINE公司

2份文件引用(2018)
软件作者: J.ázek先生、P.Bauch、H.Lauko、J.Barnat
相关软件: nuXmv;jCUTE公司;CIL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

向往

1份文件引用(2011)
软件作者: J.A.费斯勒
相关软件: CUDA;Matlab公司
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

比格鲁

2份文件引用(2005–2019)
软件作者: 塞拉诺,M。
相关软件: 稳定剂;荆棘;圣人…
主要字段: 计算机科学(68-XX)

代码2发票

2份文件引用(2020–2022)
软件作者: 司旭杰;阿迪提亚·奈克(Aaditya Naik);戴、韩军;Mayur Naik;宋乐
相关软件: CLN2INV公司;z3;CVC4SY…
主要字段: 计算机科学(68-XX)

科霍莫洛

2份文件引用(2007-2017)
软件作者: 德莱克·荷尔特
相关软件: 间隙;AtlasRep;王牌
主要字段: 结合环与代数(16-XX);群论与推广(20-XX);几何(51-XX)

深悟空

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

FuncTion公司

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

高斯

2份文件引用(2011年至2018年)
软件作者: 罗伯特·帕尔默;史蒂夫·巴鲁斯(Steve Barrus);余阳;Ganesh Gopalakrishnan;罗伯特·M·柯比
相关软件: ISP;自旋蛋白;SLAM…
主要字段: 计算机科学(68-XX)

软管。c(c)

1份文件引用(2021)
软件作者: T.迪克尔
相关软件: NetworkX;数字Py;彩色噪音.py…
主要字段: 统计学(62-XX)

LARA公司

在0个文档中引用
软件作者: J.M.P.Cardoso、T.Carvalho、J.Coutinho、W.Luk、R.Nobre、P.C.Diniz、Z.Petrov
相关软件: TACT;科尔;橡胶树…
主要字段: ——

LEA公司

2份文件引用(2018–2023)
软件作者: 埃里克·弗里肖特(Eric Frichot);弗朗索瓦
相关软件: 线性调频;bfa;leapp…
主要字段: 统计学(62-XX)

卢普斯

2份文件引用(2012–2013)
软件作者: F.Zuleger,M.Sinn
相关软件: Daikon;FLATA;数学软件
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

多种族

1份文件引用(2017)
软件作者: 埃利·波兹尼安斯基(Eli Pozniansky),阿萨夫·舒斯特(Assaf Schuster)
相关软件: 螺纹消毒剂;CDS检查器;ktsan…
主要字段: 计算机科学(68-XX)

斯马卡

1份文件引用(2017)
软件作者: 阿明·比尔(Armin Biere);Jens Knoop;劳拉·科夫亚茨(Laura Kov'acs);雅各布兹维奇梅尔
相关软件: r-TuBound;STP;小泽…
主要字段: 计算机科学(68-XX)

斯坦斯

在0个文档中引用
软件作者: 简·奥布德日拉克、吉·斯拉布、马雷克·特里克
相关软件: Klocwork;FindBugs;声纳编码
主要字段: ——

弑星者

1份文件引用(2018)
软件作者: 萨利布,M。
相关软件: RPython;乱劈;流…
主要字段: 计算机科学(68-XX)

弱2SC

2份文件引用(2016年至2021年)
软件作者: 奥列格·特拉夫金;海克·卫尔海姆
相关软件: 莫德;github;LLVM…
主要字段: 计算机科学(68-XX)

2份文件引用(2005–2007)
软件作者: 沙龙·巴纳;Ziv Glazberg;Ishai Rabinovitz
相关软件: Java PathFinder
主要字段: 计算机科学(68-XX)

C2M公司

1份文件引用(2020)
软件作者: 王蒙;田聪;张楠;段振华;姚晨光
相关软件: LTL自动化;UMC4M;RiTHM…
主要字段: 计算机科学(68-XX)

叮当声AST

在0个文档中引用
软件作者: 戈博尔·霍瓦思;诺伯特·巴塔基
相关软件: STL公司
主要字段: ——

集群

1份文件引用(2002)
软件作者: 凯西·卡特;尼古拉斯·特兰
相关软件: ——
主要字段: 计算机科学(68-XX)

Complx公司

1份文件引用(2023)
软件作者: Amani,S.、Andronick,J.、Bortin,M.、Lewis,C.、Christine,R.、Tuong,J。
相关软件: seL4;Isabelle/HOL;伊莎贝尔
主要字段: 计算机科学(68-XX)

史密斯

1份文件引用(2018)
软件作者: 杨学军;杨晨;埃里克·艾德;约翰·雷格尔
相关软件: jsfunfuzz;梅花厅;ACVS…
主要字段: 计算机科学(68-XX)

EC清洁

1份文件引用(2021)
软件作者: 阿拉巴马州西波斯。;兹索克,V。
相关软件: MetaFun;增强C++库
主要字段: 计算机科学(68-XX)

十一82

1份文件引用(2016)
软件作者: 埃里克·科斯金(Eric Koskinen);杨俊峰
相关软件: PostgreSQL;爆炸;SQC…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件