Abstract: In spite of the impressive progress in the development of model checking, it is still limited in their ability to handle large systems. It is generally recognized that abstraction techniques are one of the most general state reduction techniques. A novel

Key words: Abstraction , I.TL , K-simulation