ASTREE公司 swMATH ID: 13704 软件作者: 帕特里克·库索特(Patrick Cousot)、拉迪亚·库索特、杰罗姆·费雷特(Jeróme Feret)、劳伦特·毛博尔涅(Laurent Mauborgne)、安托万·米内(Antoine Miné)、大卫·莫尼奥(David Monniaux)、泽维尔 描述: ASTRE电子分析仪。ASTRéE是一个基于抽象解释的静态程序分析器,旨在自动证明用C语言编写的程序中没有运行时错误。它已成功应用于根据同步规范自动生成的大型嵌入式控制命令安全关键实时软件,在几个小时的计算中为复杂软件提供了正确性证明,没有任何错误报警。 主页: 网址:http://www.astree.ens.fr/ 相关软件: 停机坪;z3(零3);应用程序;Coq公司;八角形;FunArray(趣味阵列);爆破;Why3号机组;电子稳定控制系统/Java;阿司匹克;CBMC公司;Caduceus公司;卡拉卡拉;CSSV公司;SLAM公司;艾菲尔铁塔;高超声速;加帕;自旋;OCaml公司 引用于: 112文件 标准条款 3出版物描述软件,包括3出版物在zbMATH中 年份 为什么阿斯特雷要扩大规模? Zbl 1185.68241号帕特里克·库索;拉迪亚·库索特;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;对手,泽维尔 2009 ASTREε分析仪。 Zbl 1108.68422号帕特里克·库索;拉迪亚·库索特;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;戴维·莫尼奥;对手,泽维尔 2005 用于安全关键实时嵌入式软件的专用静态程序分析器的设计和实现。 Zbl 1026.68514号布鲁诺·布兰切特;帕特里克·库索;拉迪亚·库索特;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;戴维·莫尼奥;对手,泽维尔 2002 全部的 前5名200位作者引用 10 帕特里克·库索 10 安托万·米内 9 拉迪亚·库索特 9 大卫·莫尼奥(David P.Monniaux)。 7 劳伦特·莫博涅 6 对手,泽维尔 5 安迪·金 5 弗朗西斯科·洛戈佐 4 奥利维尔·布瓦索 4 丹尼尔·科宁 4 大卫·皮哈迪 三 西尔维·博尔多 三 杰罗姆·费雷特 三 菲利普·吕默 三 桑卡拉纳拉亚南,斯里拉姆 三 埃克塞尔·西蒙 三 Yang,宏石 三 埃纳州扎法内拉 2 吉安卢卡·阿马托 2 罗伯特·巴格纳拉 2 弗雷德里克·贝松 2 Jörg Brauer 2 亚历山大·查普托 2 阿齐姆·查德哈里 2 曼努埃尔·Fähndrich 2 Jędrzej Fulara 2 卡洛·阿尔贝托·福里亚 2 托马斯·马丁·高利察 2 阿尔蒂·古普塔 2 尼古拉斯·哈尔巴赫斯 2 帕特里夏·M·希尔。 2 弗兰乔·伊万契奇 2 克劳德·马奇 2 纪尧姆·梅尔金德 2 贝特朗·梅耶 2 玛丽亚诺·莫斯卡托(Mariano M.Moscato)。 2 塞萨尔·穆尼奥斯。 2 哦,哈乔 2 亚萨米娜·塞拉吉 2 娜塔莎·莎莉吉娜 2 福斯托·斯波托 2 劳拉·蒂托洛 2 Christoph M.温特斯泰格。 2 Yi,Kwangkeun先生 2 Aleksandar Zeljić 1 亚历山德罗·阿巴特 1 亚历克斯·艾肯 1 艾尔维拉·阿尔伯特 1 弗朗西斯科·阿尔贝蒂 1 泽维尔·阿拉米吉恩 1 卡默·阿皮尼 1 普拉纳夫·阿沙尔 1 彼得·贝克曼 1 克莱门特巴拉布里加 1 尼古拉斯·巴雷 1 斯蒂芬·贝克尔。 1 伊娃·贝克舒尔泽 1 本·萨西,穆罕默德·阿明 1 伊夫·贝托特 1 德克·拜尔 1 布鲁诺·布兰切特 1 布兰奇,桑德琳 1 弗朗索瓦·博博特 1 梅迪·布阿齐兹 1 雷米·波顿 1 布莱恩,马丁 1 布兰德,丹尼尔 1 安吉洛·布里洛特 1 罗伯特·布鲁托梅索 1 理查德·布贝尔 1 布埃诺,弗朗西斯科 1 马西奥·巴斯 1 克里斯蒂亚诺·加尔卡尼奥 1 达里奥·卡塔鲁扎 1 Cha、Sooyoung 1 陈丽倩 1 弗朗索瓦·克莱门特 1 Colón,迈克尔·A。 1 拜伦·库克 1 加布里埃尔·科罗纳 1 彼得·克劳福德-卡尔 1 布里·康明斯 1 达姆,丹尼斯·雷内 1 大卫·达赖 1 卢特菲·达尔马万 1 德尔芬·德曼吉 1 朱尔斯·德沙奈斯 1 纳菲·迪亚洛 1 迪诺·迪斯特法诺 1 维杰·迪尔瓦 1 简·杜拉茨 1 康拉德·杜诺加 1 亚伦·M·达特(Aaron M.Dutle)。 1 Edwards,Stephen A。 1 马可·费利乌。 1 皮埃特罗·费拉拉 1 Jean-Christophe Filliátre 1 算了吧,朱利安 1 约翰·加拉赫(John P.Gallagher)。 1 马来K·加奈。 …还有100多名作者 全部的 前5名19篇连载文章中引用 13 系统设计中的形式化方法 5 理论计算机科学 4 自动推理杂志 4 计算机科学中的逻辑方法 三 高阶和符号计算 三 程序设计中的逻辑和代数方法杂志 2 计算机程序设计科学 2 符号计算杂志 2 计算机科学课堂讲稿 2 计算机科学中的数学 1 倒排索引综述 1 编程和计算机软件 1 订单 1 计算的形式方面 1 函数编程杂志 1 数学与人工智能年鉴 1 美国计算机学会期刊 1 SIAM应用动力系统杂志 1 计算机语言、系统和结构 全部的 前5名在13个字段中引用 109 计算机科学(68-XX) 12 数值分析(65-XX) 7 数学逻辑和基础(03-XX) 三 阶、格、有序代数结构(06-XX) 三 运筹学、数学规划(90-XX) 三 信息与通信理论、电路(94-XX) 2 总体主题;集合(00-XX) 2 系统论;控制(93至XX) 1 偏微分方程(35-XX) 1 动力系统和遍历理论(37至XX) 1 凸和离散几何(52至XX) 1 统计学(62-XX) 1 量子理论(81-XX) 按年份列出的引文