[SAHH18]
Muhammad Usama Sardar, Nida Afaq and Khaza Anuarul Hoque.
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).
Journal of Automated Reasoning.
2018.
[Performs verification of NASA's Small Aircraft Transportation System (SATS) using PRISM.]
|
