Piecewise affine systems is an important class of hybrid systems. They consist of several affine dynamic subsystems, between which switchings occur at different occasions. In this paper, a verification method for piecewise affine systems is considered, and a method to determine how sensitive the verified properties are to changes in the dynamics and the locations of the switching surfaces is proposed. This information can then be used for robustness analysis or control design.