Login / Signup
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
Published in:
FIT (2023)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
temporal logic
description language
symbolic model checking
civil aviation
formal specification
set theory
test suite
ai planning
air traffic
epistemic logic
specification language
concurrent systems
image analysis
search strategies