本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；

• In this paper,the significance and application of decompilation as a program verifying tool in Aerospace Industry is discussed;