PPLite is an open-source C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification. While being derived from the PPL (Parma Polyhedra Library), PPLite has a very different goal: to provide researchers and students with a lightweight framework for experimenting with new ideas and algorithms in the context of polyhedral computations.
ZAFFANELLA, Enea [Supervision] (Corresponding)
BECCHI, ANNA [Membro del Collaboration Group] (Corresponding)
|Data di pubblicazione:||2018|
|Appare nelle tipologie:||7.11 Software|