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

Browse the full FIT paper archive.