简化 swMATH ID: 4976 软件作者: Detlefs,D。;Nelson,G。;J·B·萨克斯 说明: 扩展静态检查。本文概述了扩展静态检查(ESC),这是一项新技术,我们在康柏(née Digital)系统研究中心研究了20世纪90年代的大部分时间。我们已经实现并实验了两个扩展静态校验器,一个用于Modula-3,另一个用于Java。ESC的目的是通过为程序员提供实用的静态检查工具来提高软件生产率。通常,静态检查以静态方式查找错误,即不运行程序,因此可以在设计过程中比测试等动态检查更早地查找错误。由于如果及早检测到错误,那么纠正错误的成本就会降低,因此改进的静态检查有可能提高软件生产效率。 主页: http://www.kindsoftware.com/products/opensource/Simplify/ 程序设计语言: 模块III 相关软件: z3(零3);电子稳定控制系统/Java;规格#;布吉;PVS公司;Yices公司;SMT-LIB公司;CVC4型;cvc3型;JML公司;Coq公司;Why3号机组;卡拉卡拉;糠;VAMPIRE公司;达夫尼;E定理证明器;FOCI公司;伊莎贝尔/HOL;卡杜克乌斯 引用于: 137文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 简化:用于程序检查的定理证明器。 Zbl 1323.68462号Detlefs,大卫;格雷格·纳尔逊;詹姆斯·B·萨克斯。 2005 全部的 前5名251位作者引用 11 Leino,K.Rustan M。 9 玛丽亚·保拉(Maria Paola Bonacina) 8 塞萨尔·蒂内利 7 莱昂纳多·德·莫拉 6 克拉克·W·巴雷特。 6 西尔维奥·兰伊斯 6 安德鲁·雷诺兹 5 亚历山德罗·西马蒂 5 维克多·昆卡 5 德坎·特兰 4 丹尼尔·科宁 4 菲利普·吕默 4 娜塔莎·莎莉吉娜 三 亚历山德罗·阿曼多 三 鲍尔,托马斯 三 阿明·比尔 三 尼古拉·S·比约纳。 三 罗伯特·布鲁托梅索 三 穆纳乔·埃切宁 三 科马克·弗拉纳根 三 帕斯卡·方丹 三 安蒂·E·J·海瓦·里宁。 三 拉希里、舒文杜·库马尔 三 彼得·米勒 三 克里斯托夫·林盖森 三 詹姆斯·B·萨克斯。 三 舒尔特,Wolfram 三 罗伯托·塞巴斯蒂亚尼 2 回来了,拉尔夫·约翰 2 哈尼尔·巴博萨 2 Böhme,萨沙 2 Sylvain Conchon公司 2 Deters,摩根 2 Detlefs,David L。 2 克莱尔·德罗斯 2 Jean-Christophe Filliátre 2 葛叶婷 2 圣菲省格拉汉·伦格兰德 2 阿尔贝托·格里乔 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 胡,Alan J。 2 兰吉特·贾拉 2 穆阿·约翰逊 2 Hélène基什内尔 2 马特奥·马雷斯科蒂 2 肯尼思·麦克米兰。 2 米查·莫斯卡尔 2 马丹拉尔·穆苏瓦蒂 2 乔治·C·内库拉。 2 格雷格·纳尔逊 2 阮秀海 2 沙兹·卡迪尔 2 Rajamani,Sriram K。 2 穆利·萨吉夫 2 斯蒂芬·舒尔茨 2 桑吉特·阿伦库马尔·塞希亚 2 Natarajan Shankar 2 本杰明·韦斯 2 沃尔夫,伯克哈特 1 奥列·阿格森 1 弗朗切斯科·阿尔贝蒂 1 Alt,Leonardo S。 1 安妮迪亚·班纳吉 1 曼纽尔·巴博萨 1 Michael A.Benedikt。 1 乔什·伯丁 1 马丁·伯杰(Martin J.Berger)。 1 伦纳特·贝林格 1 弗雷德里克·贝松 1 拉尔斯·比克达尔 1 布兰奇,桑德琳 1 马丁·布利查 1 马可·波扎诺 1 安吉洛·布里洛特 1 比利·鲍勃·布鲁姆利 1 罗伯特·布鲁迈耶 1 格伦·布伦斯 1 Bryant,Randal E。 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 弗兰克·巴特勒 1 Cañete-Valdeón,JoséM。 1 拉斐尔·考德利埃 1 阿杰·钱德 1 纳撒尼尔·查尔顿 1 魏恩根·钦 1 克拉克(Edmund Melson jun Clarke)。 1 拜伦·库克 1 皮埃尔·埃曼纽·科尼勒奥 1 帕特里克·库索特 1 拉希亚库索 1 大卫·J·柯里。 1 Das、Satyaki 1 克里斯蒂娜·大卫 1 大卫·德拉哈耶 1 迪什,斯特凡 1 巴勃罗·费德里科·多巴尔 1 索菲亚·德罗索波洛 1 布鲁诺·杜特雷 1 马尔科·艾尔斯 …还有151位作者 全部的 前5名21篇连载文章中引用 16 自动推理杂志 5 计算机程序设计科学 5 系统设计中的形式化方法 4 计算的形式方面 三 计算机科学中的逻辑方法 2 编程和计算机软件 2 符号计算杂志 2 信息与计算 2 数学与人工智能年鉴 2 美国医学会杂志 1 信息处理信件 1 理论计算机科学 1 国际并行程序设计杂志 1 计算系统理论 1 新西伯利亚计算中心(NCC)和A.P.Ershov信息系统研究所(IIS)的联合公报。系列:计算机科学 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 浙江大学学报。科学A 1 可满足性、布尔建模与计算杂志 1 计算机科学评论 1 理论计算机科学课文。EATCS系列 全部的 前5名11个领域引用 131 计算机科学(68至XX) 44 数理逻辑与基础(03-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 拓扑群,李群(22日至XX日) 1 凸和离散几何(52至XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 1 数学教育(97-XX) 按年份列出的引文