×

PPL（公私合营）

swMATH ID: 5357
软件作者： 罗伯托·巴格纳拉；利玛窦（Elisa Ricci）；扎法内拉，埃纳；帕特里夏·M·希尔。
描述： 可能不是闭合凸多面体和Parma多面体库。凸多面体域被用于几个系统中，用于硬件和软件组件的分析和验证。当前的应用程序跨越命令式、函数式和逻辑式语言、同步语言和同步协议、实时和混合系统。自P.Cousot和N.Halbwachs的开创性工作以来，凸多面体在正式方法社区中发挥了重要作用，一些关键任务依赖于其软件实现。尽管如此，用于操作凸多面体的现有库仍然是研究原型，并且受到限制，使得其使用存在问题，特别是在关键应用中。此外，对非必要闭合多面体（NNC）的支持不足，即，由约束系统描述的多面体，其中允许出现严格不等式。本文介绍了Parma多面体库，它是NNC凸多面体的一个新的、健壮的和完整的实现，重点介绍了该库的独特特性和新的理论基础。
主页： http://bugseng.com/products/ppl
编程语言： C类++
相关软件： 高超声速；停机坪；ASTREE公司；Uppaal公司；多晶的；PHAVer公司；PolyLib公司；SageMath软件；github；SpaceEx公司；gmp公司；z3（零3）；SCIP公司；模仿者；八角形；棱镜；RSOLVER公司；HSolver公司；机锋网；Yices公司
引用于： 108文件
更多出版物： http://bugseng.com/products/ppl/documentation/locobjectory

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
可能不是闭合凸多面体和Parma多面体库。 Zbl 1015.68215号
罗伯特·巴格纳拉；伊丽莎·里奇；埃纳州扎法内拉；帕特里夏·M·希尔。
2002
全部的 前5名

203位作者引用

10 埃纳州扎法内拉
7 罗伯特·巴格纳拉
7 约翰·加拉赫（John P.Gallagher）。
6 埃蒂安·安德烈
5 帕特里夏·M·希尔。
5 桑卡拉纳拉亚南，斯里拉姆
4 吉安卢卡·阿马托
4 萨米尔·根奈姆
4 比肖克桑·卡夫
三 利昂·埃夫勒
三 安布罗斯·格雷克斯纳（Ambros M.Gleixner）。
三 尼古拉斯·哈尔巴赫斯
三 迈克尔·乔斯维格
三 Kwiatkowska，Marta Z。
三 金·古德斯特兰·拉森
三 大卫·莫尼奥（David P.Monniaux）。
三 弗朗西丝卡·斯科扎里
2 艾尔维拉·阿尔伯特
2 泽维尔·阿拉米吉恩
2 普里阿雷纳斯
2 穆罕默德·阿卜杜拉希·阿兹戈米
2 古里纳斯·班达
2 JiříBarnat
2 阿米尔·本·阿姆拉姆。
2 马西莫·贝内雷切蒂
2 尼古拉·贝内什
2 彼得·贝兹克
2 伊万娜·乔纳
2 阿戈斯蒂诺·科尔特斯
2 劳伦特·多恩
2 马可·费拉
2 戈兰·弗雷斯
2 劳伦特·弗里堡
2 皮埃尔·甘蒂
2 阿尔蒂·古普塔
2 弗兰乔·伊万契奇
2 阿列克桑德拉·乔瓦诺维奇。
2 里卡多·戴维·卡茨
2 马蒂亚斯·科普
2 亚历山大·马雷查尔
2 大卫·默沙特
2 哈桑·莫塔列比
2 毛里齐奥·帕顿
2 埃蒂安·佩耶特
2 迈克尔·佩林
2 劳蕾·佩特鲁奇
2 帕维特拉·普拉巴卡
2 德国普埃布拉
2 让-弗朗索瓦·拉斯金
2 Rodríguez，Margarita M.L。
2 安德烈·里巴尔琴科
2 米丽亚姆·加西亚·索托
2 福斯托·斯波托
2 Pierre-Yves支柱
2 范德波尔，扬·科内利斯
2 何塞·文森特·佩雷斯
2 周，袁
1 艾丽卡·阿尔布拉汉姆
1 马蒂亚斯·阿尔特霍夫
1 文森佐·阿塞里
1 本杰明·阿萨夫
1 大卫·M·阿维斯。
1 谢尔盖·伊万诺维奇·巴斯特拉科夫
1 亚历山大·巴特金。
1 格雷戈里·巴特
1 安娜·贝基
1 斯蒂芬·贝克尔。
1 本·萨西，穆罕默德·阿明
1 雷米·波顿
1 卢博什·布里姆
1 亚历山大·德米特里维奇·布鲁诺
1 萨加·查基
1 亚历山德罗·西马蒂
1 阿尔伯特·科恩
1 迈克尔·科隆。
1 艾曼纽尔·科夸德
1 伊曼纽尔·德·安吉利斯
1 德卢霍什，P。
1 杜梅内克，杰苏斯·J·。
1 董金松
1 特里斯坦·埃伯特
1 弗朗索瓦·法赫斯
1 乌里·法伦贝格
1 Maria D.Fajardo。
1 皮埃特罗·费拉拉
1 法比奥·菲奥拉万蒂
1 费尔辛，莫里茨
1 亚历克西斯·福勒
1 格雷姆·恒河
1 尤金尼·加威洛
1 米格尔·安赫尔·戈贝尔纳
1 劳雷·贡诺德
1 雅各布·埃利·古德曼
1 埃里克·古堡
1 杰西卡·格伦斯基。
1 巴加夫·古拉瓦尼。
1 阿里·古芬克尔
1 威廉·哈格曼
1 杰夫·汉密尔顿。
1 西蒙·汉普
…还有103位作者
全部的 前5名

29篇连载文章中引用

8 理论计算机科学
6 信息与计算
5 系统设计中的形式化方法
4 逻辑程序设计理论与实践
三 数学规划计算
2 符号计算杂志
2 离散事件动态系统
2 数学编程。A系列B系列
2 高阶和符号计算
2 计算机科学中的逻辑方法
1 ACM数学软件汇刊
1 最优化理论与应用杂志
1 编程与计算机软件
1 自动推理杂志
1 实时系统
1 计算几何
1 工程、通信和计算中的应用代数
1 计算与应用数学
1 约束条件
1 欧洲控制杂志
1 美国医学会杂志
1 计算机基础理论
1 逻辑与代数程序设计杂志
1 计算机语言、系统和结构
1 计算机科学中的数学
1 非线性分析。混合动力系统
1 程序设计中的逻辑和代数方法杂志
1 欧洲运筹学高级教程
1 离散数学及其应用
全部的 前5名

21个领域被引用

85 计算机科学（68至XX）
20 运筹学、数学规划（90-XX）
16 凸和离散几何（52至XX）
12 系统论；控制（93至XX）
10 数理逻辑与基础（03-XX）
9 数值分析（65-XX）
5 博弈论、经济学、金融学以及其他社会和行为科学（91-XX）
4 组合数学（05-XX）
4 代数几何（14-XX）
2 交换代数（13-XX）
2 线性代数和多线性代数；矩阵理论（15-XX）
2 变分法与最优控制；最优化（49至XX）
2 生物学和其他自然科学（92-XX）
2 信息与通信理论、电路（94-XX）
1 数论（11-XX）
1 场论与多项式（12-XX）
1 常微分方程（34-XX）
1 几何图形（51至XX）
1 概率论与随机过程（60-XX）
1 统计学（62-XX）
1 量子理论（81-XX）

按年份列出的引文