References : 1. M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Ed, Cambridge University Press, 2004. 2. T. F. Melham, Higher Order Logic and Hardware Verification, Cambridge University Press, 1993. 3. E. M. Clarke, O. Grumberg and D. Peled, Model Checking, MIT Press, 1999. 4. K. L. McMillan, Symbolic Model Checking, Kluwer Academic Publisher, 1993. 5. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent System Specification, Springer-Verlag, 1992. |