×

ACL2型

swMATH ID: 60
软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore)
描述: ACL2既是一种可以为计算机系统建模的编程语言,也是一种帮助您证明这些模型属性的工具。ACL2是Boyer-Moore谚语家族的一员。
主页: http://www.cs.utexas.edu/users/moore/acl2/
关键词: 定理证明;自动推理;形式验证
相关软件: Coq公司;伊莎贝尔/HOL;PVS公司;HOL公司;伊莎贝尔;HOL灯;毫升;NQTHM公司;米扎尔;z3(零3);LISP公司;Flyspeck飞点;存档正式证据;常春藤;莫德;Why3号机组;大锤;自旋蛋白;肯佐;水獭
引用于: 287文件
全部的 前5名

375位作者引用

25 摩尔,J·斯特罗瑟
21 何塞·路易斯·鲁伊斯·雷纳
20 马特·考夫曼
19 Martín-Mateos,Francisco-Jesüs
14 沃伦·亨特(Warren A.jun Hunt)。
14 Manolios,Panagiotis公司
12 鲁本·甘博阿(Ruben A.Gamboa)。
11 玛丽亚·何塞·伊达尔戈
11 鲁比奥·加西亚、朱利奥·杰苏斯
10 阿隆索、何塞·安东尼奥
10 桑迪普·雷
9 朱利安·施马耳茨
9 达隆·弗隆
8 格里高·罗什乌
7 Laureano Lambán
7 何塞·梅塞盖尔·瓜伊塔
6 西尔维·博尔多
6 段振华
6 乔纳森·赫拉斯
6 纪尧姆·梅尔金德
6 玛格努斯·奥·米林。
6 张楠
5 多米尼克·博里奥内
5 Heule,Marijn J.H。
5 田聪
4 约翰·考尔斯(John R.Cowles)。
4 Jean-Christophe Filliátre
4 塞萨里·卡利西克
4 托比亚斯·尼普科
4 维科·帕斯夸尔
4 康拉德·斯林德
4 内森·韦兹勒。
阿隆索-吉梅内斯,何塞·安东尼奥
亚历山德罗·阿曼多
西蒙·克鲁内斯
贾里德·戴维斯
Jose Divasón
迈克尔·J·C·戈登。
关勇
凯瑟琳·勒雷
麦地那-布洛,Inmaculada
塞萨尔·穆尼奥斯。
斯科特·欧文斯
弗朗西斯科·帕洛莫·洛萨诺
帕斯莫尔,格兰特·奥尼
劳伦斯·查尔斯·保尔森
西尔维奥·兰伊斯
埃里克·里伯
Natarajan Shankar
史志平
罗伯·萨默斯
索菲涅·塔哈尔
汤玛·戴安娜
约瑟夫·乌尔班
弗里克·韦贝克
弗里克·威迪杰克
2 马库斯·阿德霍尔德
2 奥特曼·阿伊特·穆罕默德
2 贝扎德·阿克巴普尔
2 杰苏斯·阿兰塞
2 阿劳霍,若昂
2 Stylianos巴萨吉安尼斯
2 雅克·卡雷特
2 弗朗索瓦·克莱门特
2 卢卡·孔帕尼亚
2 威廉·库克。
2 彼得·迪林杰(Peter C.Dillinger)。
2 Farmer,William M。
2 简·赫尔曼·杰弗斯
2 乔治·詹塔米迪斯
2 本尼·戈德林
2 本杰明·格雷戈里
2 大卫·A·格雷夫。
2 大卫·S·哈丁。
2 沃伦·朱恩·亨特(Warren jun Hunt)。
2 穆阿·约翰逊
2 Jonker,天主教M。
2 叶卡捷琳娜·科门丹茨卡亚
2 罗伯特·贝拉明·克鲁格
2 雷诺,K.鲁斯坦M。
2 李丽明
2 李永东
2 埃文·麦克林
2 米凯拉·梅耶罗
2 威廉·麦库恩。
2 米希尔·帕朗·梅塔
2 朱利安·纳格尔
2 诺里斯,迈克尔
2 奥莫多,尤金尼奥·乔瓦尼
2 爱荷华州帕什卡
2 皮埃尔,劳伦斯
2 大卫·L·拉格。
2 托马斯·里奇
2 吉亚特·艾尔·萨马内
2 Jun Sawada先生
2 ☑特拉安·弗洛林(Traian Florin)
2 安娜·斯洛博多娃
2 安德烈·特夫内斯库
2 斯特里赫曼(Ofer Strichman)
2 杰夫·萨特克利夫
…还有275名作者

按年份列出的引文