@TechReport{BagnaraHZ07TR,
  Author = "R. Bagnara and P. M. Hill and E. Zaffanella",
  Title = "Applications of Polyhedral Computations to the Analysis
           and Verification of Hardware and Software Systems",
  Number = 458,
  Type = "Quaderno",
  Institution = "Dipartimento di Matematica, Universit\`a di Parma, Italy",
  Year = 2007,
  Note = "Available at \url{http://www.cs.unipr.it/Publications/}.
          Also published as {\tt arXiv:cs.CG/0701122},
          available from \url{http://arxiv.org/}.",
  Abstract = "Convex polyhedra are the basis for several abstractions
              used in static analysis and computer-aided verification
              of complex and sometimes mission critical systems. For
              such applications, the identification of an appropriate
              complexity-precision trade-off is a particularly acute
              problem, so that the availability of a wide spectrum of
              alternative solutions is mandatory.  We survey the range
              of applications of polyhedral computations in this area;
              give an overview of the different classes of polyhedra
              that may be adopted; outline the main polyhedral
              operations required by automatic analyzers and
              verifiers; and look at some possible combinations of
              polyhedra with other numerical abstractions that have
              the potential to improve the precision of the analysis.
              Areas where further theoretical investigations can
              result in important contributions are highlighted.",
}