威廉·亚当斯;沃伦·亨特(Warren A.jun Hunt)。;达米尔·詹姆斯克 Verisym:通过符号模拟验证电路。 (英语) Zbl 1021.68056号 形式方法系统。设计。 22,第2期,163-173(2003).MSC公司:第68季度第65季度 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{W.Adams}等人,《形式方法系统》。设计。22,No.2,163--173(2003;Zbl 1021.68056) 全文: 内政部
沃伦·亨特(Warren A.jun Hunt)。(编辑) 特别问题:微处理器验证。 (英语) Zbl 0990.00030号 形式方法系统。设计。 20,第2期,133-228(2002).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Hunt jun.}(编辑),《形式方法系统》。设计。20,第2号,133--228(2002;Zbl 0990.00030)
Jun Sawada先生;沃伦·亨特(Warren A.jun Hunt)。 FM9801验证:一种无序微处理器模型,具有推测执行、异常和程序修改功能。 (英语) Zbl 1014.68097号 形式方法系统。设计。 20,第2期,187-222(2002).MSC公司:60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Sawada}和\textit{W.A.Hunt jun.},表格方法系统。设计。20,第2号,187--222(2002;Zbl 1014.68097) 全文: 内政部