OBJ3型 140篇文献引用(1989–2023) 软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里) 相关软件: 莫德;OBJ咖啡馆;CASL… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
STeP公司 引用于33份文件(1997–2015) 软件作者: N.Björner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe 相关软件: PVS;自旋蛋白;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
常春藤 21篇文献引用(2017–2023) 软件作者: McMillan,K.L.,Padon,O。 相关软件: 常春藤;z3;IronFleet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Alt-Ergo(备用发动机) 15篇文献引用(2008–2022) 软件作者: Sylvain Conchon、Evelyne Contejean 相关软件: Why3;z3;Coq… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
FunArray(趣味阵列) 18篇文献引用(2011–2021) 软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐 相关软件: ASTREE公司;z3;助推器… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
Fg指数 6篇文献引用(2011–2016) 软件作者: J.Cheng、Y.Ke、W.Ng、A.Lu 相关软件: GADDI;故事;NeMa… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
UMM公司 6篇文献引用(2007–2016) 软件作者: Yang Y、Gopalakrishnan G、Lindstrom G 相关软件: Coq;检查围栏;TSOTool… 主要字段: 计算机科学(68-XX)
PREVAIL公司 5份文件引用(1992–2014) 软件作者: 多米尼克·博里奥内;劳伦斯·皮埃尔;阿什拉夫·塞勒姆 相关软件: Nuprl公司;辅酶MTU;Coquet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
CPBPV公司 4份文件引用(2010–2023) 软件作者: 海伦·科拉维扎;米歇尔·鲁赫(Michel Rueher);帕斯卡·范·亨特利克 相关软件: TCAS;CBMC;VIPR… 主要字段: 计算机科学(68-XX)
单子 3份文件引用(2014–2021) 软件作者: 亚历山大·凯撒;Daniel Kroening;托马斯·沃尔 相关软件: ACL2;veriSoft;DDVerify… 主要字段: 计算机科学(68-XX)
Plat-Omega平台 3份文件引用(2007–2019) 软件作者: 马克·瓦格纳(Marc Wagner);Serge Autexier;克里斯托夫·本兹穆勒 相关软件: 乳胶;OMDoc;MMTTeX… 主要字段: 计算机科学(68-XX)
代码2发票 2份文件引用(2020–2022) 软件作者: 司旭杰;Aaditya Naik;戴、韩军;奈克,马尤尔;宋乐 相关软件: CLN2INV公司;z3;CVC4SY… 主要字段: 计算机科学(68-XX)
鼓 2份文件引用(2020–2023) 软件作者: 特洛伊·巴特勒;哈里·哈库拉 相关软件: 贝叶斯DA;ADCIRC;数学软件 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…
ParaVerifier(校验器) 2份文件引用(2015–2018) 软件作者: 李永坚;Pang,Jun;吕毅;范东瑞;曹、申;段凯强 相关软件: 小卧室;Isabelle/HOL;伊莎贝尔 主要字段: 计算机科学(68-XX)
PiMaG公司 2份文件引用(2005–2011) 软件作者: Manolios、Panagiotis;Srinivasan,Sudarshan K。 相关软件: MiniSat;Calysto;Velev SAT基准… 主要字段: 计算机科学(68-XX)