Formal Verification of Aircraft Departure Procedure Using Spin Model Checker
M Rashid, MM ul Rehman, H Raza… - 2023 18th …, 2023 - ieeexplore.ieee.org
The volume of air traffic increase dramatically and safety of air traffic systems are becoming
critical issue day by day. Failure of system can cause loss of human life, cost and hard work …
critical issue day by day. Failure of system can cause loss of human life, cost and hard work …
Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker
M Rashid, M Qadeer, H Raza… - … on Frontiers of …, 2023 - ieeexplore.ieee.org
The volume of air traffic increases dramatically and the air traffic control system is a safety
critical system. Failure of the system can cause loss of human life, cost, and hard work of …
critical system. Failure of the system can cause loss of human life, cost, and hard work of …
Formal specification at model-level of model-driven engineering using modelling techniques
HK Jnanamurthy, F Henskens… - … Journal of Computer …, 2021 - inderscienceonline.com
Nowadays Model-Driven Engineering (MDE) is gaining more popularity due to high-level
development leading to a faster generation of executable code, which reduces manual …
development leading to a faster generation of executable code, which reduces manual …
Formal Modelling and Verification of Software Defined Network
V Varadharajan - arXiv preprint arXiv:2004.04425, 2020 - arxiv.org
In cloud computing, software-defined network (SDN) gaining more attention due to its
advantages in network configuration to improve network performance and network …
advantages in network configuration to improve network performance and network …