×

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

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)

TLPVS公司

8份文件引用(2003–2011)
软件作者: 阿米尔·普努利;塔马拉·阿隆斯
相关软件: PVS;自旋蛋白;魔法…
主要字段: 数学逻辑与基础(03-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)

毕加索

在0个文档中引用
软件作者: R.H.Boucher、T.E.Dutton、S.A.Cota等人。
相关软件: CUDA公司
主要字段:

筛选结果依据…

全部的 前5名

相关软件