PPL

Possibly not closed convex polyhedra and the Parma Polyhedra Library. The domain of convex polyhedra is employed in several systems for the analysis and verification of hardware and software components. Current applications span imperative, functional and logic languages, synchronous languages and synchronization protocols, real-time and hybrid systems. Since the seminal work of P. Cousot and N. Halbwachs, convex polyhedra have thus played an important role in the formal methods community and several critical tasks rely on their software implementations. Despite this, existing libraries for the manipulation of convex polyhedra are still research prototypes and suffer from limitations that make their usage problematic, especially in critical applications. Furthermore, there is inadequate support for polyhedra that are Not Necessarily Closed (NNC), i.e., polyhedra that are described by systems of constraints where strict inequalities are allowed to occur. This paper presents the Parma Polyhedra Library, a new, robust and complete implementation of NNC convex polyhedra, concentrating on the distinctive features of the library and on the novel theoretical underpinnings. (Source: http://freecode.com/)


References in zbMATH (referenced in 54 articles , 1 standard article )

Showing results 1 to 20 of 54.
Sorted by year (citations)

1 2 3 next

  1. Anders Jensen, Jeff Sommars, Jan Verschelde: Computing Tropical Prevarieties in Parallel (2017) arXiv
  2. Prabhakar, Pavithra; García Soto, Miriam: Hybridization for stability analysis of switched linear systems (2016)
  3. Sommars, Jeff; Verschelde, Jan: Pruning algorithms for pretropisms of Newton polytopes (2016)
  4. Svoreňová, Mária; Kwiatkowska, Marta: Quantitative verification and strategy synthesis for stochastic games (2016)
  5. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco: Solving strong controllability of temporal problems with uncertainty using SMT (2015)
  6. Goubault, Eric; Putot, Sylvie: A zonotopic framework for functional abstractions (2015)
  7. Hagemann, Willem: Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (2015)
  8. Motallebi, Hassan; Azgomi, Mohammad Abdollahi: Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (2015)
  9. Prabhakar, Pavithra; Soto, Miriam García: AVERIST: an algorithmic verifier for stability (2015) ioport
  10. Roux, Alet; Zastawniak, Tomasz: Linear vector optimization and European option pricing under proportional transaction costs (2015)
  11. Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea: Efficient constraint/generator removal from double description of polyhedra (2014)
  12. André, Étienne; Liu, Yang; Sun, Jun; Dong, Jin-Song: Parameter synthesis for hierarchical concurrent real-time systems (2014)
  13. Brim, L.; Dluhoš, P.; Šafránek, D.; Vejpustek, T.: STL*: extending signal temporal logic with signal-value freezing operator (2014)
  14. Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej: Robust synthesis for real-time systems (2014)
  15. Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano: Automatic synthesis of switching controllers for linear hybrid systems: safety control (2013)
  16. Lime, Didier; Martinez, Claude; Roux, Olivier H.: Shrinking of time Petri nets (2013)
  17. Upadrasta, Ramakrishna; Cohen, Albert: Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra (2013)
  18. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Zanardini, Damiano: Cost analysis of object-oriented bytecode programs (2012)
  19. Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca: Discovering invariants via simple component analysis (2012)
  20. Bagnara, Roberto; Mesnard, Fred; Pescetti, Andrea; Zaffanella, Enea: A new look at the automatic synthesis of linear ranking functions (2012)

1 2 3 next


Further publications can be found at: http://bugseng.com/products/ppl/documentation/bibliography