有限责任公司 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)
副驾驶员 引用于8份文件(2012–2022) 软件作者: Pike L、Goodloe A、Morisset R、Niller S 相关软件: 卢斯特;LOLA;JPAX… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(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份文件引用(2017–2023) 软件作者: S.Mechtaev、J.Yi、A.Roychoudhury 相关软件: 先知;SemFix;代码缺陷… 主要字段: 计算机科学(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)
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)
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)
SymDIVINE公司 2份文件引用(2018) 软件作者: J.ázek先生、P.Bauch、H.Lauko、J.Barnat 相关软件: nuXmv;jCUTE公司;CIL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
代码2发票 2份文件引用(2020–2022) 软件作者: 司旭杰;阿迪提亚·奈克(Aaditya Naik);戴、韩军;Mayur Naik;宋乐 相关软件: CLN2INV公司;z3;CVC4SY… 主要字段: 计算机科学(68-XX)
深悟空 2份文件引用(2021–2023) 软件作者: Cheng,X。;Wang,H。;Hua,J。;徐,G。;隋,Y。 相关软件: ovAFLow;夹板;布加鲁… 主要字段: 计算机科学(68-XX)
高斯 2份文件引用(2011年至2018年) 软件作者: 罗伯特·帕尔默;史蒂夫·巴鲁斯(Steve Barrus);余阳;Ganesh Gopalakrishnan;罗伯特·M·柯比 相关软件: ISP;自旋蛋白;SLAM… 主要字段: 计算机科学(68-XX)
LARA公司 在0个文档中引用 软件作者: J.M.P.Cardoso、T.Carvalho、J.Coutinho、W.Luk、R.Nobre、P.C.Diniz、Z.Petrov 相关软件: TACT;科尔;橡胶树… 主要字段: ——
卢普斯 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)
狼 2份文件引用(2005–2007) 软件作者: 沙龙·巴纳;Ziv Glazberg;Ishai Rabinovitz 相关软件: Java PathFinder 主要字段: 计算机科学(68-XX)
Complx公司 1份文件引用(2023) 软件作者: Amani,S.、Andronick,J.、Bortin,M.、Lewis,C.、Christine,R.、Tuong,J。 相关软件: seL4;Isabelle/HOL;伊莎贝尔 主要字段: 计算机科学(68-XX)