2020. Performance Evaluation of Software using Formal Methods. Global Journal of Computer Science and Technology. 20, C1 (Jan. 2020), 17–23.