Abstract: Labeled transition system is a formalism that is widely used in the literature of computer-assistant design and verification. As the module number of the system increases, the state space of the whole system may exponentially explods Compositional reachab

Key words: Labeled transition system, Computer-assistant design and verification, Compositional reachability analysis （CRA） ,State-explosion