Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems

Roberto Bagnara Patricia M. Hill Enea Zaffanella Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems http://arxiv.org/abs/cs/0701122 2007 CoRR abs/cs/0701122 db/journals/corr/corr0701.html#abs-cs-0701122 informal publication