This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
May 1978 (vol. 11 no. 5)
pp. 51-56
M.R. Barbacci, Carnegie-Mellon University
Does the reference manual actually describe the real computer? Not entirely, but the authors, starting with a simulation based on the written word, worked out the remaining errors using the machine diagnostics as the last word.
Citation:
M.R. Barbacci, A. Parker, "Using Emulaion to Verify Formal Architecture Descriptions," Computer, vol. 11, no. 5, pp. 51-56, May 1978, doi:10.1109/C-M.1978.218183
Usage of this product signifies your acceptance of the Terms of Use.