Department of Computer Science and IT, The Islamia University of Bahawalpur, Baghdad-ul-Jadeed Campus, Bahawalpur, Pakistan;
Software; Correctness; Formal; Verification; Model; Checking; Timed-Automata; Multi-Agent; System; Timed; Computation; Tree; Logic; (TCTL);