PPL公司

可能不是封闭凸多面体和Parma多面体库。在多面体系统的硬件和软件验证中使用了多个组件。当前的应用包括命令式、函数式和逻辑语言、同步语言和同步协议、实时和混合系统。自从P.cosot和N.Halbwachs开创性的工作以来,凸多面体在形式化方法界扮演了重要的角色,一些关键任务依赖于它们的软件实现。尽管如此,现有的用于操作凸多面体的库仍然是研究原型,并且受到限制,使得它们的使用出现问题,特别是在关键应用中。此外,对于不一定是闭合的多面体(NNC)也就是说,由约束系统描述的多面体(polyhedra)也没有得到足够的支持,其中允许出现严格的不等式。本文介绍了Parma多面体库,它是NNC凸多面体的一个新的、健壮的和完整的实现,着重于该库的独特特性和新颖的理论基础(资料来源:http://freecode.com/)


zbMATH中的参考文献(参考 94篇文章 参考,第1条标准)

显示第1到第20个结果,共94个。
按年份排序(引用)
  1. Ben Amram,Amir M.;Hamilton,Geoff:循环程序的紧多项式最坏情况界(2020)
  2. García Soto,Miriam;Prabhakar,Pavithra:基于抽象的多面体交换系统稳定性验证(2020)
  3. Yang,Jung Min;Moor,Thomas;Raisch,Jörg:混合动力系统监督控制的行为抽象细化(2020)
  4. Doménech,Jesús J.;Gallagher,John P.;Genaim,Samir:部分评估的控制流细化及其在终止和成本分析中的应用(2019)
  5. Gronski,Jessica;Ben Sassi,Mohamed Amin;Becker,Stephen;Sankaranarayanan,Sriram:模板多面体和双线性优化(2019)
  6. Simon Hampe;Joswig,Michael;Schröter,Benjamin:紧密跨度和热带线性空间的算法(2019)
  7. 《尼古拉基图》(Nikolaki,2019)双变量描述
  8. Avis,David;Jordan,Charles:\texttmplrs:a scalable parallel vertex/facet枚举代码(2018)
  9. Bezděk,Peter;Beneš,Nikola;Ch erná,Ivana;Barnat,Jiří:基于时钟感知的时间自动机LTL参数综合(2018)
  10. Boutonet,Rémy;Halbwachs,Nicolas:通过超越递减序列的抽象解释改进程序分析的结果(2018)
  11. De Angelis,Emanuele;Fioravanti,Fabio;Pettorossi,Alberto;Proietti,Maurizio:在无归纳的情况下解决归纳数据类型的Horn条款(2018年)
  12. Doyen,Laurent;Frehse,Goran;Pappas,George J.;Platzer,André:混合动力系统验证(2018)
  13. Jovanović,Aleksandra;Kwiatkowska,Marta:使用随机博弈抽象的概率时间自动机参数综合(2018)
  14. Kafle,Bishoksan;Gallagher,John P.;Gange,Graeme;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:使用约束Horn子句进行前提推断的迭代方法(2018)
  15. Kafle,Bishoksan;Gallagher,John P.;Ganty,Pierre:约束Horn条款验证中的树形维度(2018)
  16. Majumdar,Rupak;Raskin,Jean François:非布尔域中的符号模型检查(2018)
  17. Payet,Étienne;Spoto,Fausto:通过抽象解释和符号表达式检查数组边界(2018)
  18. Anders Jensen,Jeff Sommars,Jan Verschelde:并行计算热带预报(2017)阿尔十四
  19. 阿萨尔夫,本杰明;盖瑞洛,Ewgenij;赫尔,卡特林;乔斯维格,迈克尔;洛伦兹,本杰明;帕芬霍尔兹,安德烈亚斯;雷恩,托马斯:用\texttpolymake计算凸包壳和计算整数点(2017)
  20. Beneregetti,Massimo;Faella,Marco:线性混合动力系统中的平滑轨迹跟踪(2017)

更多出版物请访问:http://bugseng.com/products/ppl/documentation/书目