纽波尔卡

新Polka是一个处理凸多面体的库，它的约束和生成元具有有理系数。它是用ansic编写的，所以你可以在任何C或C++程序中使用它。还提供了一个到OCaml语言的接口。这个库目前被我的验证工具NBac和其他从事静态分析和抽象解释的研究团队使用。它主要基于旧的IRISA PolyLib和Verimag实验室同步团队内部Polka工具中使用的旧库。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 4篇文章 参考）

显示第1到第4个结果，共4个。
按年份排序(引用)

  1. 古堡，埃里克；普托，西尔维：功能抽象的区域性框架（2015）
  2. Zanioli，Matteo；Cortesi，Agostino:抽象解释的信息泄漏分析（2011）
  3. Bernard Bernard Berthomieu；Lime，Didier；Roux，Olivier H.；Vernadat，François:带秒表的时间Petri网的可达性问题和抽象状态空间（2007）
  4. Jahier，Erwan；Raymond，Pascal；Baufreton，Philippe：lurette V2案例研究（2006）ioport公司