Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker. - Muhammad Rashid; Muhammad Qadeer; Husnain Raza; Muhammad Masood Ul Rehman; Imran Rasool; Nazir Ahmad Zafar (FIT, 2023)

Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study. - Muhammad Rashid; Imran Rasool; Nazir Ahmad Zafar; Hamra Afzaal (IEEE Access, 2025)