Author: MELHAM, T.F.
Title: Higher Order Logic and Hardware Verification.
Description: 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.

Keywords: computer technology hardware higher order logic studies theory