福克斯,A.C.J。;北卡罗来纳州哈曼。 微处理器正确性的代数模型。 (英语) Zbl 0971.68102号 正式Asp。计算。 12,第4号,298-312(2000). 引用于5文件 MSC公司: 68问题65 抽象数据类型;代数规范 关键词:形式验证;微处理器 软件:莫德 PDF格式BibTeX公司 XML格式引用 \textit{A.C.J.Fox}和\textit{N.A.Harman},正式Asp。计算。12,第4号,298--312(2000;Zbl 0971.68102) 全文: 内政部