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

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

Published in: FM (2014)

Keyphrases

formal verification
control program
model checking
automatic programming
bounded model checking
model checker
automated verification
symbolic model checking
database operations
neural network
fuzzy logic
temporal logic
data structure
main memory
description language