Find a copy in the library
Finding libraries that hold this item...
|Additional Physical Format:||Online version:
Mechanized reasoning and hardware design.
New York : Prentice Hall, 1992
|All Authors / Contributors:||
C A R Hoare; Michael J C Gordan
|Notes:||"Meeting held at the Royal Scoeity on 3 and 4 October 1991."
"Papers in the book were first published in the Philosophical Transactions of the Royal Society of London, Series A, Volume 339, pp. 1-151, 1992."
|Description:||151 p. : ill. ; 25 cm.|
|Contents:||Designing chips that work, M.D. May; will proof replace simulation?, C. Pygott; the formalization of an HDL and its use in the FM8502 microprocessor fabrication, W.A. Hunt; using Nupri for hardware verification and synthesis, Miriam Leeser; 20BJ - a system with meta and object level rewriting, J.A. Goguen; the hardware implementation of Esterel, G. Berry; automatic verification of sequential circuit designs, E.M. Clarke; design as goal-directed problem-solving, M.P. Fourman; formal synthesis and dependent types, F.K. Hanna; Occam in the specification and verification of microprocessors, A.W. Roscoe.|
|Series Title:||Prentice-Hall international series in computer science.|
|Responsibility:||edited by C.A.R. Hoare and M.J.C. Gordan.|