烟尘 32篇文献引用(2004–2023) 软件作者: 瓦列·雷(Valleée-Rai,R.)、加格农(Gagnon,e.)、亨德伦(Hendren,L.J.)、兰姆(Lam,P.)、波明维尔(Pominville,P.,Sundaresan,V.)。 相关软件: 达卡波;方面J;FlowDroid… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
旋风 30篇文献引用(2003–2022) 软件作者: 弗雷德里克·史密斯;Dan Grossman;格雷格·莫里塞特(Greg Morrisett);卢克·霍诺夫(Luke Hornof);吉姆·特雷弗 相关软件: 哈斯克尔;CCured公司;Coq… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
SUIF公司 15篇文献引用(1995–2011) 软件作者: 罗伯特·P·威尔逊;罗伯特·S·弗伦奇;克里斯托弗·威尔逊(Christopher S.Wilson);萨曼·阿马拉辛格(Saman P.Amarasinghe);詹妮弗·安德森(Jennifer M.Anderson);Steve W.K.Tjiang;廖世伟;周文曾;玛丽·W·霍尔;莫妮卡·S·林;汉尼斯 相关软件: CUDA;MiBench公司;ParaWise… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
有限责任公司 13份文件引用(2012–2022) 软件作者: 斯蒂芬·福克(Stephan Falke);弗洛里安·默兹(Florian Merz);卡斯滕·辛兹 相关软件: 不明飞行物;注册会计师检查;CBMC… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
薄片 10篇文献引用(2016–2022) 软件作者: Carter,M.、He,S.、Whitaker,J.、Rakamarić,Z.、Emmi,M。 相关软件: CBMC;z3;SeaHorn… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
LusSy公司 3份文件引用(2007–2013) 软件作者: Moy,M.、Maraninchi,F.、Maillet-Contoz,L。 相关软件: 系统C;卡拉托斯;veriSoft… 主要字段: 计算机科学(68-XX)
互方面 2份文件引用(2012–2021) 软件作者: 贾斯汀·塞斯特;迪克西特、科坦;黄小婉;格鲁苏,拉杜;克劳斯·哈维隆德;斯科特·斯莫尔卡(Scott A.Smolka)。;斯科特·斯托勒(Scott D.Stoller)。;埃雷兹·扎多克 相关软件: 方面J;LOLA;AspectWerkz… 主要字段: 计算机科学(68-XX)
洛林 1份文件引用(2015) 软件作者: LaPre,J.M.,Gonsiorowski,E.J.,Carothers,C.D。 相关软件: TLRW;劫持者 主要字段: 计算机科学(68-XX);量子理论(81-XX);系统论;控制(93-XX)…