Formal Methods for Performance Evaluation