<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
@TechReport{BagnaraHZ06TR,
  Author = "R. Bagnara and P. M. Hill and E. Zaffanella",
  Title = "The {Parma Polyhedra Library}: Toward a Complete Set of Numerical
           Abstractions for the Analysis and Verification
           of Hardware and Software Systems",
  Number = 457,
  Type = "Quaderno",
  Institution = "Dipartimento di Matematica, Universit\`a di Parma, Italy",
  Year = 2006,
  Note = "Available at \url{http://www.cs.unipr.it/Publications/}.
          Also published as {\tt arXiv:cs.MS/0612085},
          available from \url{http://arxiv.org/}."
  Abstract = "Since its inception as a student project in 2001,
              initially just for the handling (as the name implies) of
              convex polyhedra, the \emph{Parma Polyhedra Library} has
              been continuously improved and extended by joining
              scrupulous research on the theoretical foundations of
              (possibly non-convex) numerical abstractions to a total
              adherence to the best available practices in software
              development.  Even though it is still not fully mature
              and functionally complete, the Parma Polyhedra Library
              already offers a combination of functionality,
              reliability, usability and performance that is not
              matched by similar, freely available libraries.  In this
              paper, we present the main features of the current
              version of the library, emphasizing those that
              distinguish it from other similar libraries and those
              that are important for applications in the field of
              analysis and verification of hardware and software
              systems.",
}