PPL公司

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


zbMATH中的参考文献(参考 91篇文章,1标准件)

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

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