×

阿斯特里

swMATH标识: 13704
软件作者: 帕特里克·库索,拉迪娅·库索,杰尔·费雷特,劳伦特·毛博涅,安托万·米内,大卫·蒙尼奥,泽维尔的竞争对手
说明: ASTREç分析仪。ASTRçE是一个基于抽象解释的静态程序分析器,旨在自动证明用C编程语言编写的程序中没有运行时错误。该方法已成功地应用于由同步规范自动生成的大型嵌入式控制命令安全关键实时软件,为复杂软件的正确性提供了一个证明,在几个小时的计算时间内不会出现任何误报。
主页: http://www.astree.ens.fr/
相关软件: 围裙;PPL公司;z3型;可口可乐;八角形;爆炸;原因3;肉冻;FunArray公司;CBMC公司;球茎;喀拉喀托;CSSV公司;电子稳定控制系统/Java;艾菲尔;高超声速;加帕;猛击;旋转;布吉
参考文献: 108种出版物
全部的 前5名

189位作者引用

10 库索,帕特里克
10 敏妮,安托万
9 库索,拉迪亚
9 蒙尼亚,大卫P。
7 莫博涅,劳伦特
6 对手,泽维尔
5 洛佐,弗朗西斯科
4 布伊索,奥利弗
4 国王,安迪
4 科宁,丹尼尔
4 皮查迪,大卫
波尔多,西尔维
费雷特,杰罗姆
吕默,菲利普
斯里拉姆Sankaranarayanan
西蒙,阿克塞尔
杨红石
扎法内拉,埃尼亚
2 阿马托,詹卢卡
2 巴格纳,罗伯托
2 贝松,弗里德里克
2 布劳尔,约格
2 查普特,亚历山德拉
2 Fähndrich,曼努埃尔
2 富拉拉,Jędrzej
2 富里亚,卡洛·阿尔贝托
2 加利察,托马斯·马丁
2 古普塔,奥尔蒂
2 哈尔布瓦克斯,尼古拉斯
2 希尔,帕特里夏·M。
2 伊万契奇,弗朗乔
2 三月,克劳德
2 梅尔奎德,纪尧姆
2 梅耶,伯特兰
2 莫斯卡托,马里亚诺·M。
2 穆尼奥斯,塞萨尔A。
2 哦,哈珠
2 塞拉吉,亚萨米恩
2 莎莉吉娜,娜塔莎
2 斯波托,福斯托
2 蒂托洛,劳拉
2 温特施泰格,克里斯托夫M。
2 易光景
2 泽尔吉奇,亚历山达
1 阿伯特,亚历山德罗
1 艾肯,亚历克斯
1 艾伯特,艾薇拉
1 阿尔贝蒂,弗朗西斯科
1 阿拉米吉恩,泽维尔
1 阿皮尼斯,卡尔默
1 亚沙,普拉纳夫
1 贝克曼,彼得
1 巴里,尼古拉斯
1 贝克尔,斯蒂芬R。
1 贝克舒尔茨,伊娃
1 本·萨西,穆罕默德·阿明
1 贝托,伊夫
1 拜尔,德克
1 布兰切特,布鲁诺
1 布莱兹,桑德琳
1 博特,弗朗索瓦
1 布阿齐兹,迈赫迪
1 布托内特,雷米
1 布莱恩,马丁
1 布兰德,丹尼尔
1 布莱罗,安吉洛
1 布鲁托梅索,罗伯托
1 布贝尔,理查德
1 布埃诺,弗朗西斯科
1 巴斯,马西奥
1 卡尔卡诺,克里斯蒂亚诺
1 卡塔鲁扎,达里奥
1 查,苏英
1 查德哈里,阿齐姆
1 陈丽倩
1 法国克莱门特
1 科隆,迈克尔A。
1 库克,拜伦
1 科罗娜,加布里埃尔
1 克劳福德·卡尔,彼得
1 康明斯,布里
1 达姆斯,丹尼斯·雷内
1 达拉斯,大卫
1 达马旺,卢特菲
1 Demange,德尔菲
1 德夏奈,朱尔斯
1 迪亚洛,纳菲
1 迪斯法诺,迪诺
1 D'silva,维杰
1 杜拉茨,一月
1 杜诺加,康拉德
1 杜特尔,亚伦
1 爱德华兹,斯蒂芬A。
1 费利,马可A。
1 费拉拉,皮埃特罗
1 菲利特,让·克里斯托夫
1 加拉赫,约翰P。
1 加奈,马来语K。
1 吉迪恩,汤姆訙
1 加达鲁,威德
…还有89位作者

按年份引用出版物