Performance evaluation is an important theoretical base and support for researches and applications of computer network and system.And it's also an important research direction in communications and computer science. This is a concise overview paper about formal methods for performance evaluation

main research results and development foreground. In this paper we focus on the three method of FM: Queuing Theory

Stochastic Petri-Net and Stochastic Process Algebra. And we primarily discuss the combinations of different formal methods. At the end of this paper we summarize formal methods for performance evaluation and open up prospects for this area.