关于MiL-STD-1750计算机的验证问题

本文描述了在MIL-STD-1750验证研究中所做的工作的结果。(合同编号为F33657-79-M-0858)它说明了证实一台计算机正确执行一种指令系统体系结构的重要性与困难。文中描述了所研究的各种不同的体系结构的检验方法,用来选择MIL-STD-1750最佳途径的方法以及对莱特帕特松空军基地的系统工程航空电子设备(SEAFAC)、提出的建议。