A verification method based on homomorphic model abstractions (abstract)

[1]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[2]  Ulrich Nitsche.  Propositional Linear Temporal Logic and Language Homomorphisms , 1994, FOCS 1994.