1Gannon J D, Purtilo J M,Zelkowitz M V. Software Speeification: A Comparison of Formal Methods [M]. Norwood Ablex Publishing, 1994.
2Clarke E M, Emerson E A, Sistla A P. Automatic Verification of Finite-state Concurrent Systems Using Temporal Logic Specification[J]. ACM Transactions on Programming Languages and Systems, 1986,8(2) :244 - 263.
3McMillan K L. The SMV System [R]. Pittsburgh: Carnegie Mellon University, 1992.
