Akinsola, Jide E. T.; Kuyoro; Afolashade; O.; Adeagbo; Moruf A.; Awoseyi; Ayomikun A. Performance Evaluation of Software Using Formal Methods. GJCST 2020, 20, 17-23.