View of Performance Evaluation of Software using Formal Methods | Global Journal of Computer Science and Technology