简化 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型;电子稳定控制系统/Java;规格#;布吉;PVS公司;SMT-LIB公司;CVC4型;Yices公司;cvc3型;JML公司;Coq公司;Why3号机组;卡拉卡拉;糠;吸血鬼;达夫尼;E定理证明器;FOCI公司;伊莎贝尔/HOL;Caduceus公司 引用于: 135文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 简化:用于程序检查的定理证明器。 Zbl 1323.68462号Detlefs,大卫;格雷格·纳尔逊;詹姆斯·B·萨克斯。 2005 全部的 前5名248位作者引用 11 Leino,K.Rustan M。 8 玛丽亚·保拉(Maria Paola Bonacina) 8 塞萨尔·蒂内利 7 莱昂纳多·德·莫拉 6 克拉克·W·巴雷特。 6 西尔维奥·兰伊斯 6 安德鲁·雷诺兹 5 亚历山德罗·西马蒂 5 维克多·昆卡 5 德坎·特兰 4 丹尼尔·科宁 4 菲利普·吕默 三 亚历山德罗·阿曼多 三 鲍尔,托马斯 三 阿明·比尔 三 尼古拉·S·比约纳。 三 罗伯特·布鲁托梅索 三 穆纳乔·埃切宁 三 弗拉纳根,科马克 三 帕斯卡·方丹 三 拉希里、舒文杜·库马尔 三 彼得·米勒 三 克里斯托夫·林盖森 三 詹姆斯·B·萨克斯。 三 沃尔夫拉姆·舒尔特 三 罗伯托·塞巴斯蒂亚尼 三 娜塔莎·莎莉吉娜 2 回来了,拉尔夫·约翰 2 哈尼尔·巴博萨 2 Böhme,萨沙 2 Sylvain Conchon公司 2 Deters,摩根 2 Detlefs,David L。 2 克莱尔·德罗斯 2 Jean-Christophe Filliátre 2 葛叶婷 2 阿尔贝托·格里乔 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 胡亚伦·J·。 2 安蒂·E·J·海瓦·里宁。 2 兰吉特·贾拉 2 穆阿·约翰逊 2 赫莱内·基什内尔 2 马特奥·马雷斯科蒂 2 肯尼思·麦克米兰。 2 米查·莫斯卡尔 2 马丹拉尔·穆苏瓦蒂 2 Necula,George 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 Brillout,安吉洛 1 布鲁姆利,比利·鲍勃 1 罗伯特·布鲁迈耶 1 格伦·布伦斯 1 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 马尔科·艾尔斯 1 苏珊·艾森巴赫 1 约琴·艾辛格 …还有148位作者 全部的 前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个领域引用 129 计算机科学(68至XX) 43 数学逻辑和基础(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) 按年份列出的引文