×

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

CBMC公司

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

VeriFast公司

75篇文献引用(2009–2023)
软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯
相关软件: 达菲;布吉;z3…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

LTSmin公司

25篇文献引用(2011–2023)
软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布洛姆
相关软件: 自旋蛋白;Uppaal;迪文尼…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

杀手

21篇文献引用(2012–2023)
软件作者: 乔什·伯丁(Josh Berdine);拜伦·库克;萨明·伊斯蒂亚克
相关软件: 小脚;VeriFast;HIP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

推断

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

HACL公司*

12份文件引用(2018–2023)
软件作者: Jean Karim Zinzindohoue、Karthikeyan Bhargavan、Jonathan Protzenko、Benjamin Beurdouche
相关软件: Why3;茉莉花;工具链…
主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

NOrec公司

11份文件引用(2010–2022)
软件作者: Dalesandro,L.、Spear,M.F.、Scott,M.L。
相关软件: 环STM;TLRW;柔道STM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

金发姑娘

9份文件引用(2009–2017)
软件作者: Elmas,T.、Qadeer,S.、Tasiran,S。
相关软件: 橡皮擦;雾化器;快速通道…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

Jinja线程

9份文件引用(2009–2020)
软件作者: A.洛赫比勒。
相关软件: Isabelle/HOL;存档正式证据;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);凸和离散几何(52-XX)…

Vellvm公司

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

ESBMC公司

4份文件引用(2014–2020)
软件作者: 南安普顿大学、斯泰伦博什大学、亚马逊河联邦大学;卢卡斯·科尔代罗(Lucas Cordeiro);杰里米·莫尔斯(Jeremy Morse);丹尼斯·尼科尔;伯恩德·菲舍尔
相关软件: CBMC;LLBMC;爆炸…
主要字段: 计算机科学(68-XX)

SWATT公司

6篇文献引用(2006–2021)
软件作者: Seshadri,A;佩里格,A。;van Doorn,L。;科斯拉,P。
相关软件: 水肺;地址消毒剂;闪烁…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

Sycraft公司

6篇文献引用(2009–2015)
软件作者: B.Bonakdarpour,S.Kulkarni
相关软件: CUDD;Uppaal;Vertaf…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

重新校准

6篇文献引用(2011–2022)
软件作者: Farn Wang公司
相关软件: 克罗诺斯;Uppaal;CMC…
主要字段: 计算机科学(68-XX)

ARMor公司

5份文件引用(2013–2020)
软件作者: Zhao,L.、Li,G.、Sutter,B.D.、Regehr,J。
相关软件: HOL;seL4;MiBench…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

茉莉花

4份文件引用(2019–2022)
软件作者: 何塞·巴塞拉·阿尔梅达(JoséBacelar Almeida)、曼努埃尔·巴博萨(Manuel Barbosa)、吉尔斯·巴特(Gilles Barthe)、阿瑟·布洛特(Arthur Blot)、本杰明·格雷戈里(Benjamin Grégoire)、文森特·拉波特(Vincent Laporte)、蒂亚戈·奥利维拉(Tiago Oli
相关软件: HACL*;EasyCrypt;曲线25519…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

RGCC翻译单元

3份文件引用(2009–2011)
软件作者: 朗,邓肯寺
相关软件: R;沙瓦;rJava…
主要字段: 统计学(62-XX);计算机科学(68-XX)

AutoBayes/CC

4份文件引用(2002–2004)
软件作者: Michael Whalen;约翰·舒曼(Johann Schumann);伯恩德·菲舍尔
相关软件: SETHEO公司;VAMPIRE公司;常春藤…
主要字段: 计算机科学(68-XX)

G小调

4份文件引用(2010–2019)
软件作者: 麦克赖特,安德鲁;蒂姆·骑士;安德鲁·托尔马赫
相关软件: Coq;CompCert;CompCertTSO…
主要字段: 计算机科学(68-XX)

番石榴

1份文件引用(2005)
软件作者: David F.Bacon、Robert E.Strom、Ashis Tarafdar
相关软件: 模块;OCaml;AtomCaml…
主要字段: 计算机科学(68-XX)

备忘录

3份文件引用(2014–2020)
软件作者: 阿卜杜拉,帕罗什·阿齐兹;穆罕默德·法乌齐(Mohamed Faouzi Atig);陈玉芳;Carl Leonardsson;艾哈迈德·雷兹
相关软件: 小卧室;Mcmt;方格网…
主要字段: 计算机科学(68-XX)

SAFE代码

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

AnZenMail公司

引用于2份文件(2003)
软件作者: 志山、Etsuya;Shigeki Hagihara;NaokiKobayashi,;西崎,新雅;KenjiroTaura,;渡边,Takuo
相关软件: Coq;TALX6;JFlow…
主要字段: 计算机科学(68-XX)

级联

1份文件引用(2020)
软件作者: Wang,W.、Barrett,C.、Wies,T。
相关软件: 薄片;卫星抗体;UFO…
主要字段: 计算机科学(68-XX)

结壳

3份文件引用(2020–2022)
软件作者: 托曼,J.,彭斯坦纳,S.,托拉克,E。
相关软件: 锈蚀;蝰蛇;VCC…
主要字段: 计算机科学(68-XX)

FAMOCUTN公司

3份文件引用(1994–2014)
软件作者: W.Hennings;N.库兹涅佐夫
相关软件: 克雷塞克斯;PAFT F77;ELRAFT…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学,数学规划(90-XX)…

单子

3份文件引用(2014–2021)
软件作者: 亚历山大·凯撒;Daniel Kroening;托马斯·沃尔
相关软件: ACL2;veriSoft;DDVerify…
主要字段: 计算机科学(68-XX)

纳吉尼

3份文件引用(2021–2022)
软件作者: 艾尔斯,M.,米勒,P
相关软件: 蝰蛇;Why3;布吉…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

巴拉库达

1份文件引用(2021)
软件作者: 阿里尔·艾森伯格(Ariel Eizenberg)、彭元峰(Yuanfeng Peng)、托马·皮格利(Toma Pigli)、威廉·曼斯基(William Mansky)、约瑟夫·迪维蒂(Joseph Devietti)
相关软件: GPU验证;GM种族;CURD…
主要字段: 计算机科学(68-XX)

沙帕拉尔

引用于2份文件(2008–2020)
软件作者: M.W.玻璃
相关软件: 方面;郊狼
主要字段: 偏微分方程(35-XX);数值分析(65-XX);经典热力学,传热(80-XX)

薄雾

1份文件引用(2018)
软件作者: 皮埃尔·甘蒂
相关软件: 自旋蛋白;验证;z3(零3)
主要字段: 计算机科学(68-XX)

OpenPHRI公司

1份文件引用(2022)
软件作者: B.纳瓦罗;A.字体;P.Fraisse;G.泊松;A.切鲁比尼
相关软件: ChaLearn;SaDNet公司
主要字段: 系统论;控制(93-XX)

活动监视器

1份文件引用(2016)
软件作者: 洪伟伦;希曼舒·乔汉;维杰·加格。
相关软件: 自动同步;GTgraph(GT图)
主要字段: 计算机科学(68-XX)

贝克斯菲尔德

1份文件引用(2018)
软件作者: Kroll,J.,Dean,D。
相关软件: XSugar;岩盐;GDSL…
主要字段: 计算机科学(68-XX)

生物-LSTM

在0个文档中引用
软件作者: 杜晓晓;拉姆·瓦苏德万;马修·约翰逊(Matthew Johnson-Roberson)
相关软件: SMPL公司
主要字段:

差异RNN

1份文件引用(2021)
软件作者: 萨拉·穆罕默德·内贾德;Brandon Paulsen;乔蒂莫伊五世·德斯穆克。;王超
相关软件: 马拉博;AI2;DL2…
主要字段: 计算机科学(68-XX)

DISE公司

1份文件引用(2010)
软件作者: Corliss,M.L.等人。
相关软件: SESC;MiBench公司;SimpleScalar…
主要字段: 计算机科学(68-XX)

EVL公司

在0个文档中引用
软件作者: DonzéA Le Goc Y
相关软件: SOSS.jl;图灵;PyTorch…
主要字段:

FSB分配器

在0个文档中引用
软件作者: 朱哈·尼米宁
相关软件: NetworkX;帕杰克;细胞景观…
主要字段:

蝗虫

1份文件引用(2017)
软件作者: 马克·布罗克施米特(Marc Brockschmidt);陈雨欣;Kohli,Pushmeet;克利须那,悉达多;丹尼尔·塔洛
相关软件: 蚱蜢;铁人舰队;塞洛格…
主要字段: 计算机科学(68-XX)

护城河

1份文件引用(2017)
软件作者: Sinha R、Rajamani SK、Seshia SA、Vaswani K
相关软件: 梅林;JFlow;层压…
主要字段: 计算机科学(68-XX)

沙皮

在0个文档中引用
软件作者: 本杰明·拉莫夫斯基(Benjamin Lamowski)、卡斯滕·温霍尔德(Carsten Weinhold)、亚当·拉科辛斯基(Adam Lackorzynski)、赫尔曼·哈蒂格(Hermann Härtig)
相关软件: Retired.js;冲突JS;合成码…
主要字段:

软绑定(SoftBound)

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

柔性NoC

在0个文档中引用
软件作者: 动脉
相关软件:
主要字段:

亮点RTC

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

VOSYS监视器

在0个文档中引用
软件作者: 皮埃尔·卢卡斯;凯文·查普伊斯(Kevin Chappuis);米歇尔·保利诺;尼古拉斯·达吉;丹尼尔·拉霍
相关软件:
主要字段:

XAD公司

在0个文档中引用
软件作者: Xcelerit公司
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件