停机坪 swMATH ID: 45 软件作者: 珍妮特·伯特朗;安托万·米内 描述: 围裙:用于静态分析的数值抽象域库。本文介绍了Apron,这是一个免费的库,专门用于通过抽象解释对程序的数值变量进行静态分析。其目标有三:在统一的API下为分析实施者提供现成的数字抽象,通过提供集成和比较平台鼓励数字抽象领域的研究,并提供教学和演示工具传播抽象解释知识。 主页: http://apron.cri.ensmp.fr/library/0.9.10/arpon.pdf 相关软件: ASTREE公司;PPL(公私合营);z3(零3);Coq公司;八角形;OCaml公司;PAGAI公司;高超声速;解释;SMT-LIB公司;CVC4型;Why3号机组;阿司匹克;匕首;数学SAT5;投掷;布吉;吉隆坡机场;github;多晶的 引用于: 80文件 全部的 前5名152位作者引用 9 安托万·米内 5 陈丽倩 5 王,季 4 帕特里克·库索特 4 特里斯坦勒加尔 4 埃纳州扎法内拉 三 吉安卢卡·阿马托 三 别列斯拉夫斯基 三 吉尔根·吉斯尔 三 埃里克·古堡 三 安迪·金 三 亚历山大·马雷查尔 三 Monniaux,David P。 三 迈克尔·佩林 三 Sylvie推杆 三 对手,泽维尔 三 Vechev,Martin T。 2 泽维尔·阿拉米吉恩 2 艾哈迈德·博阿贾尼 2 阿齐姆·查德哈里 2 阿列克桑达尔·迪莫夫斯基。 2 维杰·迪尔瓦 2 加布里埃尔·卡里恩 2 里卡多·戴维·卡茨 2 埃尔文·马尔坎德 2 蒂埃里·雅克·马萨特 2 费比安·梅耶 2 毛里齐奥·帕顿 2 桑卡拉纳拉亚南,斯里拉姆 2 弗朗西丝卡·斯科扎里 2 Pierre-Yves支柱 2 城市,卡特里娜 2 吴雪光 2 埃兰·雅哈夫 1 罗莎·阿巴西 1 沃尔夫冈·阿伦特 1 哈桑·阿姆贾德 1 埃蒂安·安德烈 1 文森佐·阿塞里 1 高格尔·巴拉克利什南 1 谢尔盖·伊万诺维奇·巴斯特拉科夫 1 圣地亚哥包蒂斯塔 1 安娜·贝基 1 理查德·博纳特 1 文森特·博博尔 1 奥利维尔·布瓦索 1 Boutglay,Wael胺 1 雷米·波顿 1 克劳斯·布拉布兰德 1 布莱恩,马丁 1 马克·布罗克施米特 1 艾曼纽·沙伊洛 1 Supratik查克拉博蒂 1 Chang,Bor Yuh Evan 1 亚历山大·查普托 1 Chew,Kim Lin先生 1 阿尔伯特·科恩 1 迈克尔·科隆。 1 拉迪亚·库索特 1 阿伦·考克斯 1 安德烈·玛丽安(Andrei Marian Dan) 1 伊娃·达鲁洛娃 1 伊曼纽尔·德·安吉利斯 1 戴,Subhasish 1 阿拉斯泰尔·唐纳森。 1 塞萨拉·德拉戈伊 1 段洪东 1 康斯坦丁·埃纳 1 曼努埃尔·Fähndrich 1 杰罗姆·费雷特 1 法比奥·菲奥拉万蒂 1 亚历克西斯·福勒 1 戈兰·弗雷斯 1 劳伦·弗里堡 1 弗洛里安·弗洛恩 1 约翰·加拉赫(John P.Gallagher)。 1 哈利勒·戈尔巴尔 1 米尔科·贾科布 1 阿尔贝托·格里乔 1 巴加夫·古拉瓦尼。 1 阿尔蒂·古普塔 1 彼得·哈贝梅尔 1 尼古拉斯·哈尔巴赫斯 1 利奥波德·哈勒 1 马塞尔·哈克 1 杰拉·亨塞尔 1 何启宏 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 雅各布·M·豪。 1 伊利因斯基,N.B。 1 弗兰乔·伊万契奇 1 贝特朗·珍妮特 1 姜佳红 1 安瓦尔·卡奇莫夫。 1 Khizgiyaev,S.V.公司。 1 金,蒂姆 1 鲍里斯·科普夫 1 波胡斯拉夫·科埃纳 1 丹尼尔·科宁 1 朱利安·勒根 …还有52位作者 全部的 前5名22篇连载文章中引用 7 系统设计中的形式化方法 三 计算机语言、系统和结构 2 符号计算杂志 2 离散事件动态系统 1 流体动力学 1 国际通用系统杂志 1 流体力学杂志 1 Zeitschrift für Angewandte Mathematik und Mechanik(ZAMM) 1 Prikladnaya Matematika i Mekhanika公司 1 ACM数学软件汇刊 1 运筹学学会杂志 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 流体动力学杂志。序列号。B 1 多波维迪·阿卡德米·诺克·乌克兰 1 计算与应用数学 1 高阶与符号计算 1 逻辑程序设计理论与实践 1 伊朗科学技术杂志。事务处理B:工程 1 高级建模和优化 1 计算机科学中的逻辑方法 全部的 前5名在14个字段中引用 63 计算机科学(68至XX) 11 运筹学、数学规划(90-XX) 6 流体力学(76-XX) 5 凸和离散几何(52至XX) 5 数值分析(65-XX) 2 数学逻辑和基础(03-XX) 2 地球物理学(86-XX) 2 系统论;控制(93至XX) 1 组合数学(05-XX) 1 偏微分方程(35-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 粒子和系统力学(70-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文