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