指令表程序的形式化验证方法研究