×

z3型

swMATH ID: 4887
软件作者: 微软研究院;莱昂纳多·德·莫拉;尼古拉·比约纳
描述: Z3是Microsoft Research正在开发的高性能定理证明程序。Z3支持线性实数和整数算术、固定大小的位向量、扩展数组、未解释函数和量词。Z3集成了微软研究院的许多程序分析、测试和验证工具。其中包括:VCC、Spec#、Boogie、Pex、Yogi、Vigilante、SLAM、F7、F*、SAGE、VS3、FORMULA和HAVOC。
主页: https://github.com/Z3Prover/z3网址
源代码:  https://github.com/Z3Prover/z3网址
操作系统: 我们只提供对Windows的全面支持。我们还为SMT竞赛提供了Linux二进制文件。
相关软件: CVC4型;SMT-LIB公司;Yices公司;Coq公司;伊莎贝尔/HOL;吸血鬼;数学SAT5;简化;超小卫星;cvc3型;布吉;Why3号机组;GitHub公司;达夫尼;TPTP公司;大锤;HOL灯;E定理证明器;规格#;伊莎贝尔
引用于: 753文件

标准条款

1出版物描述软件 年份
Z3工程理论
尼古拉·比约纳
2011
全部的 前5名

1472位作者引用

24 克拉克·W·巴雷特。
22 安德鲁·雷诺兹
20 贾斯敏·克里斯蒂安·布兰切特
20 塞萨尔·蒂内利
19 科瓦奇,劳拉·伊尔迪科
14 尼古拉·S·比约纳。
13 艾丽卡·阿尔布拉汉姆
12 亚历山德罗·西马蒂
12 莱昂纳多·德·莫拉
12 阿尔贝托·格里乔
12 维克多·昆卡
12 克里斯托夫·韦登巴赫
11 安德烈·沃伦科夫
10 Böhme,萨沙
10 伊曼纽尔·德·安吉利斯
10 法比奥·菲奥拉万蒂
10 毛里齐奥·普罗埃蒂
9 吉尔根·吉斯尔
9 阿什图什·古普塔
9 阿尔贝托·佩特罗西
9 约瑟夫·乌尔班
9 玛格斯·维纳斯
8 哈尼尔·巴博萨
8 弗洛里安·弗洛恩
8 西尔维奥·吉拉尔迪
8 直纪小林
8 Leino,K.Rustan M。
8 劳伦斯·查尔斯·保尔森
7 马丁·布隆伯格
7 马蒂亚斯·弗勒里
7 帕斯卡·方丹
7 维杰·加内什
7 托马斯·亨辛格(Thomas A.Henzinger)。
7 德扬·约瓦诺维奇
7 塞萨里·卡利西克
7 Joost-Pieter卡托恩
7 艾娜·尼梅茨
7 马蒂亚斯·普雷纳
7 罗伯托·塞巴斯蒂亚尼
6 亚历山德罗·阿巴特
6 Marcelo Maria贝尔萨尼
6 Stéphane P.德姆里。
6 杰拉·亨塞尔
6 伊戈尔·康诺夫(Igor V.Konnov)。
6 基里恩·克莱默
6 多雷尔·卢卡努
6 安德烈斯·诺茨利
6 格里高·罗什乌
6 菲利普·吕默
6 佐藤隆介
6 斯特里赫曼(Ofer Strichman)
6 托马斯·斯特罗德
6 托马斯·斯特姆
6 特里巴斯通,米尔科
6 安德烈·范丁
6 约瑟夫·威德
6 托马斯·怀斯
6 尤尼·佐哈尔
5 阿明·比尔
5 玛丽亚·保拉(Maria Paola Bonacina)
5 Deters,摩根
5 哈维尔·埃斯帕尔扎
5 Jean-Christophe Filliátre
5 伯恩德·芬克贝纳
5 阿里·古芬克尔
5 艾哈迈德·埃尔凡
5 沙迦·伊扎基
5 拉希里、舒文杜·库马尔
5 克劳德·马奇
5 尼古拉斯·佩尔蒂埃
5 沙兹·卡迪尔
5 西尔维奥·兰伊斯
5 贾尔斯·里格尔
5 恩里克·罗德里格斯-卡博内尔
5 罗西(Matteo A.C.Rossi)。
5 阿尔伯特·鲁比奥
5 弗拉德·鲁苏
5 桑吉特·阿伦库马尔·塞希亚
5 尼基尔·斯瓦米
5 Christoph M.温特斯泰格。
5 徐明
4 亚历克斯·艾肯
4 安德烈·阿鲁索艾
4 鲍姆加特纳
4 马克·布罗克施米特
4 罗伯特·布鲁托梅索
4 查克拉波蒂,苏普拉特克
4 魏恩根·钦
4 邓玉欣
4 穆纳乔·埃切宁
4 塞德里克,福内特
4 卡斯滕·福斯
4 卢卡什·霍利克
4 尼尔斯·詹森
4 穆阿·约翰逊
4 塞巴斯蒂安·荣格斯
4 金,蒂姆
4 丹尼尔·科宁
4 玛丽亚娜·拉齐奇
4 Manuel jun,马祖。
…还有1372位作者
全部的 前5名

67篇连载文章被引用

64 自动推理杂志
37 系统设计中的形式化方法
22 理论计算机科学
20 计算的形式方面
14 程序设计中的逻辑和代数方法杂志
13 计算机科学中的逻辑方法
12 逻辑程序设计理论与实践
10 人工智能
10 信息与计算
8 数学与人工智能年鉴
8 ACM计算逻辑事务
7 信息学学报
6 约束条件
5 计算机基础理论
5 计算机科学课堂讲稿
5 计算机科学中的数学
4 计算机与运筹学
Automatica公司
符号计算杂志
计算系统理论
非线性分析。混合动力系统
2 编程和计算机软件
2 计算机程序设计科学
2 国际近似推理杂志
2 实时系统
2 离散事件动态系统
2 函数编程杂志
2 计算机语言、系统和结构
1 倒排索引综述
1 计算机与数学及其应用
1 国际通用系统杂志
1 计算物理杂志
1 ACM数学软件汇刊
1 计算
1 模糊集与系统
1 信息科学
1 计算机与系统科学杂志
1 订单
1 计算机科学与技术杂志
1 SIAM矩阵分析与应用期刊
1 密码学杂志
1 AI通信
1 运筹学年鉴
1 全球优化杂志
1 设计、代码和密码学
1 数学编程。A系列B系列
1 控制论与系统分析
1 应用非经典逻辑杂志
1 人工智能研究杂志
1 运筹学国际交易
1 优化与工程
1 新西伯利亚计算中心(NCC)和A.P.Ershov信息系统研究所(IIS)联合公报。系列:计算机科学
1 逻辑与代数程序设计杂志
1 应用数学杂志
1 自然计算
1 量子信息处理
1 应用逻辑杂志
1 可满足性、布尔建模与计算杂志
1 计算机科学科学年鉴
1 计算机代数中的ACM通信
1 《大学学报》。Informatica公司
1 符号逻辑述评
1 理论生物学杂志
1 数学论坛,西格玛
1 计算机科学评论
1 Modelirovanie i Analiz信息系统
1 理论计算机科学课文。EATCS系列

按年份列出的引文