Performance verification using partial evaluation and interval analysis | IEEE Conference Publication | IEEE Xplore