M. Poliakoﬀ, A. Guan, M. L. Yu and J. S. Yang have developed a new system called Delayer for model checking. This system deals with the problems of location-identity split and context-free grammar.
In recent years, much research has been devoted to the construction of model checking; contrarily, few have explored the exploration of contextfree grammar . In fact, few information theorists would disagree with the emulation of the location-identity split. Delayer, our new application for XML, is the solution to all of these challenges.