电子稳定控制系统/Java swMATH ID: 7217 软件作者： 格雷格·纳尔逊 描述： Extended Static Checker for Java version 2（ESC/Java2）是一种编程工具，它试图通过对程序代码及其形式注释的静态分析，在JML注释的Java程序中查找常见的运行时错误。用户可以通过使用称为pragmas的特殊格式注释注释程序来控制ESC/Java2执行的检查数量和类型 主页： http://kindsoftware.com/products/opensource/ESCJava2/ 相关软件： 规格#;简化;JML公司;布吉;喀拉喀托;z3（零3）;艾菲尔;PVS公司;Why3号机组;凯伊;卡杜克乌斯;VCC（沃尔沃汽车公司）;SMT-LIB语言;爆炸;火花;达夫尼;SLAM公司;回路;VeriFast公司;自旋蛋白 引用于： 120文件 全部的 前5名254位作者引用 11 Leino，K.Rustan M。 5 莱昂纳多·德·莫拉 5 科马克·弗拉纳根 5 拉希里、舒文杜·库马尔 4 彼得·米勒 三 Böhme，萨沙 三 巴特·雅各布斯 三 刘志明 三 弗朗西斯科·洛戈佐 三 米查·莫斯卡尔 三 戴维·诺曼（David A.Naumann）。 三 沙兹·卡迪尔 三 菲利普·吕默 三 沃尔夫拉姆·舒尔特 2 沃尔夫冈·阿伦特 2 克拉克·W·巴雷特。 2 尼古拉·S·比约纳。 2 玛丽亚·保拉（Maria Paola Bonacina） 2 帕特里斯·沙林 2 陈振邦 2 魏恩根·钦 2 亚历山德罗·西马蒂 2 德波尔（Frank S。 2 斯蒂芬·尼尔（Stephen Neal Freund） 2 葛叶婷 2 托拜厄斯·盖德尔 2 埃尔萨·甘特。 2 雷纳·哈内尔 2 胡亚伦·J·。 2 丹尼尔·科宁 2 维克托·五·库利亚明。 2 Gary T.Leavens。 2 克里斯托弗·林奇（Christopher A.Lynch）。 2 马丹拉尔穆苏瓦西 2 格雷格·纳尔逊 2 何塞·努诺·奥利维拉 2 大卫·J·皮尔斯。 2 Doron A.Peled。 2 Cees Pierik 2 茨沃尼米尔·拉卡马里奇 2 雷吉斯·贾纳斯，亚恩 2 桑吉特·阿伦库马尔·塞希亚 2 娜塔莎·莎莉吉娜 2 沃尔克·斯托尔茨 2 阿伦·斯塔姆 2 塞萨尔·蒂内利 2 沃尔夫，伯克哈特 1 亚历山德罗·阿曼多 1 西里尔·阿尔托 1 Domagoj Babić 1 鲍尔，托马斯 1 安妮迪亚·班纳吉 1 珍妮特·巴恩斯 1 迈克·巴奈特 1 伯恩哈德·贝克特 1 艾苏贝汀坎 1 阿明·比尔 1 拉尔斯·比克达尔 1 布兰德，丹尼尔 1 布鲁内斯，C.B。 1 罗伯特·布鲁托梅索 1 特夫菲克·布尔坦 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 马西奥·巴斯 1 克里斯蒂亚诺·卡尔加诺 1 内斯托尔·卡塔诺 1 拉斐尔·考德利埃 1 阿杰·钱德 1 罗德里克·查普曼 1 肖纳克·查特吉 1 陈一云 1 Yoonsik Cheon先生 1 切诺夫，E.S。 1 皮埃尔·奇夫利埃 1 杰苏斯·莫里西奥·奇曼托 1 Cho，Hyoun Kyu先生 1 玛丽亚·克里斯塔基斯 1 迈克尔·克拉克森。 1 柯蒂斯·克利夫顿 1 大卫·R·科克。 1 安德鲁·库克。 1 拜伦·库克 1 帕特里克·库索特 1 拉迪亚·库索特 1 达姆，丹尼斯·雷内 1 克里斯蒂娜·大卫 1 戴维·戴哈贝 1 大卫·德拉哈耶 1 朱塞佩·德拉·佩纳 1 盖尔盖·德瓦伊 1 马修·德怀尔。 1 马克西米利安·迪拉 1 康斯坦丁·迪姆尼科夫 1 斯蒂芬·爱德华兹。 1 比尔·J·埃利斯。 1 楚其·埃里森 1 迈克尔·埃米 1 迈克尔·D·恩斯特。 1 戴维·埃斯皮诺萨 …还有154位作者 全部的 前5名18篇连载文章中引用 14 计算机程序设计科学 8 自动推理杂志 7 计算的形式方面 4 系统设计中的形式化方法 三 理论计算机科学 2 编程和计算机软件 2 逻辑与代数程序设计杂志 2 计算机语言、系统和结构 1 信息处理信件 1 Rolando Eötvös提名的布达佩斯科学大学年鉴。计算机科 1 计算机科学与技术杂志 1 离散事件动态系统 1 数学与人工智能年鉴 1 计算机科学课堂讲稿 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 119 计算机科学（68至XX） 22 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文