×

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

Ynot公司

34份文件引用(2008–2019)
软件作者: 亚历山大·纳涅夫斯基;格雷格·莫里塞特(Greg Morrisett);Avraham Shinnar;保罗·戈韦罗;拉尔斯·比克达尔
相关软件: Coq;Isabelle/HOL;哈斯克尔…
主要字段: 总体主题;藏品(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)
软件作者: 西蒙福斯特;Zeyda,Frank;吉姆·伍德科克
相关软件: Isabelle/HOL;马戏团;Z、 …
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;控制(93-XX)

HasCasl公司

17篇文献引用(2002–2015)
软件作者: Lutz Schr“oder;Till 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;塞缪尔·格鲁特;约西亚·多兹;安德鲁·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/HOL;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;Isabelle/HOL;PVS…
主要字段:

代数_VC

引用于3份文件(2017年至2022年)
软件作者: 戈麦斯,V.B.F.,斯特鲁斯,G。
相关软件: 存档正式证据;Isabelle/HOL;克莱纳代数…
主要字段:

图腾生物网

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

霍尔巴

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

Complx公司

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

RHLE基准

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

简单

1份文件引用(2016)
软件作者: 诺伯特·希默
相关软件: 达夫尼;克莱纳代数;常规集…
主要字段:

Hoarescope望远镜

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

筛选结果依据…

全部的 前5名

相关软件