Formal Hardware Verification

W.K. Lam, Hardware Design Verification: Simulation and Formal Method-Based Approaches, Prentice Hall, 2005.

M.R.A. Huth and M.D. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2000.

C. Baier and J.-P. Katoen, Principles of Model Checking, MIT Press, 2008.

T.F. Melham, Higher Order Logic and Hardware Verification, Cambridge University Press, 1993.

Listed textbook; requirement not explicitly stated: T. Kropf, Introduction to Formal Hardware Verification, Springer, 1999.