1. Model Checking. Cambridge:;Clarke,1999
2. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, etc.NuSMV 2:An OpenSource Tool for symbolic model checking.In Proceedings of the 14th International Conference on Computer Aided Verification. LNCS 2404, Copenhagen:Springer-Verlag, 2002,359364.
3. P. Cousot.The Role of Abstract Interpretation in Formal Methods.In Proceedings of the 5th IEEE International Conference on Software Engineering and Form- al Methods. London: IEEE, 2007,135140.
4. V. Kahlon, C. Wang, A. Gupta. Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. In Proceedings of the 21st Inte- rnational Conference on Computer Aided Verification. LNCS 5643, Grenoble:Springer-Verlag, 2009,398413.
5. Exploiting Symmetry in Temporal Logic Model Checking;Clarke;Formal Methods in System Design,1996