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)
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)
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)
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)
巴拉库达 1份文件引用(2021) 软件作者: 阿里尔·艾森伯格(Ariel Eizenberg)、彭元峰(Yuanfeng Peng)、托马·皮格利(Toma Pigli)、威廉·曼斯基(William Mansky)、约瑟夫·迪维蒂(Joseph Devietti) 相关软件: GPU验证;GM种族;CURD… 主要字段: 计算机科学(68-XX)
OpenPHRI公司 1份文件引用(2022) 软件作者: B.纳瓦罗;A.字体;P.Fraisse;G.泊松;A.切鲁比尼 相关软件: ChaLearn;SaDNet公司 主要字段: 系统论;控制(93-XX)
差异RNN 1份文件引用(2021) 软件作者: 萨拉·穆罕默德·内贾德;Brandon Paulsen;乔蒂莫伊五世·德斯穆克。;王超 相关软件: 马拉博;AI2;DL2… 主要字段: 计算机科学(68-XX)
蝗虫 1份文件引用(2017) 软件作者: 马克·布罗克施米特(Marc Brockschmidt);陈雨欣;Kohli,Pushmeet;克利须那,悉达多;丹尼尔·塔洛 相关软件: 蚱蜢;铁人舰队;塞洛格… 主要字段: 计算机科学(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)
亮点RTC 在0个文档中引用 软件作者: 里德·米列维茨;拉杰什·万卡;詹姆斯·塔克(James Tuck);丹尼尔·昆兰(Daniel Quinlan);彼得·皮尔克鲍尔 相关软件: – 主要字段: –