×

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

伊诺特

34份文件引用(2008–2019)
软件作者: 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特(Greg Morrisett);Avraham Shinnar;保罗·戈维罗(Paul Govereau);拉尔斯·比克达尔
相关软件: Coq;伊莎贝尔·霍尔;哈斯克尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

cminor(小)

17篇文献引用(2007–2016)
软件作者: A.W.阿佩尔、S.布拉齐。
相关软件: Coq;CompCert;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

伊莎贝尔/UTP

19份文件引用(2015–2021)
软件作者: 西蒙·福斯特(Simon Foster);Zeyda,Frank;吉姆·伍德科克
相关软件: 伊莎贝尔·霍尔;马戏团;Z、 …
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;控制(93-XX)

HasCasl公司

17篇文献引用(2002年至2015年)
软件作者: Schr“oder,卢茨;Mossakowski,蒂尔
相关软件: CASL;哈斯克尔;Hets…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

铁人舰队

16篇文献引用(2017–2023)
软件作者: Hawblitzel,C。;豪厄尔,J。;卡普里特索斯,M。;Lorch,J.R。;巴诺,B。;罗伯茨,M.L。;塞蒂,S.T.V。;齐尔,B
相关软件: z3;达夫尼;常春藤…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

特克顿

5份文件引用(1994–2003)
软件作者: 卡普尔,D。;聂,X。;D.R.穆瑟。
相关软件: RRL;NQTHM;确认…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

Java+ITP

引用于7份文件(2007–2013)
软件作者: Sasse,R.,Meseguer,J。
相关软件: 莫德;爪哇风扇;K校准仪…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

VST-弗洛伊德

8份文件引用(2018–2023)
软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特(Samuel Gruetter);约西亚·多兹;安德鲁·W·阿佩尔。
相关软件: Coq;工具链;锈蚀…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

基岩

6篇文献引用(2017–2022)
软件作者: 亚当·克利帕拉
相关软件: Coq;工具链;VST-Floyd…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

证书密码

5份文件引用(2009–2017)
软件作者: 吉尔·巴特;本杰明·格雷戈里;圣地亚哥Zanella Béguelin
相关软件: Coq;Coq/SS反射;EasyCrypt…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

乌鸦脚

5份文件引用(2011–2015)
软件作者: 查尔顿,纳撒尼尔;本·霍斯福尔(Ben Horsfall);罗伊斯,伯恩哈德
相关软件: 小脚;VeriFast;jStar…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

UTP2型

5份文件引用(2010–2019)
软件作者: 安德鲁·巴特菲尔德
相关软件: 硫苷;伊莎贝尔·霍尔;Isabelle/UTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

VeriCon公司

5份文件引用(2014年至2021年)
软件作者: Ball,T.、Bjorner,N.、Gember,A.、Itzhaky,S.、Karbyshev,A.、Sagiv,M.、Schapira,M.和Valadarsky,A。
相关软件: 食蚁兽;NetKAT;Kuai…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

苏氨酸

4份文件引用(2010年至2017年)
软件作者: 安德鲁·布特菲尔德
相关软件: UTP2;伊莎贝尔·霍尔;PVS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

代数_VC

3份文件引用(2017–2022)
软件作者: 戈麦斯,V.B.F.,斯特鲁斯,G。
相关软件: 存档正式证据;伊莎贝尔·霍尔;克莱纳代数…
主要字段: 计算机科学(68-XX)

TotemBioNet公司

3份文件引用(2020–2022)
软件作者: 德博拉·博伊恩瓦尔(Déborah Boyenval)、吉莱斯·贝诺(Gilles Bernot)、海莱内·科拉维扎(Hélène Collavizza)、让·鲍尔彗星(Jean-Paul Comet)
相关软件: NuSMV;PyBoolNet;金西姆…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

霍尔巴

2份文件引用(2020–2022)
软件作者: 迪德里克·伦德伯格(Didrik Lundberg);罗伯特·瓜夏莱(Roberto Guanciale);安德烈亚斯·林德纳;达姆,麦兹
相关软件: RGITL;达夫尼;GNAT证明…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Complx公司

1份文件引用(2023年)
软件作者: Amani,S.、Andronick,J.、Bortin,M.、Lewis,C.、Christine,R.、Tuong,J。
相关软件: seL4;伊莎贝尔·霍尔;伊莎贝尔
主要字段: 计算机科学(68-XX)

RHLE基准

1份文件引用(2022)
软件作者: Robert Dickerson;叶千川;张,迈克尔·K。;特拉华州,本杰明
相关软件: 工具链;胡迪尼;iDFlakies…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

简单

1份文件引用(2016)
软件作者: 诺伯特·席尔默
相关软件: 达夫尼;克莱纳代数;常规集…
主要字段: 计算机科学(68-XX)

Hoarescope望远镜

在0个文档中引用
软件作者: 斯波克曼
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件