MELHAM, T.F. — Higher Order Logic and Hardware Verification.

Cambridge University Press, 1993. Hardcover. Small tear to bottom of spine of cover, o/wise good condition. Part of the Cambridge Tracts in Theoretical Computer Science Series No. 31. Shows how formal logic can be used to specify the behaviour of hardware designs & reason about their correctness. Describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic & used to express assertions about design correctness & the relative accuracy of models of hardware behaviour. 165pp.