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)
证书密码 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)
图腾生物网 引用于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)