Formal Verification of a Descent Guidance Control Program of a Lunar Lander.

Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen

Browse the full FM paper archive.