Formal Methods for Performance Evaluation | lit.salon