×

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文件
全部的 前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多名作者

按年份列出的引文