1 paper
Jianhua Gao, Ying Jiang
State explosion problem is the main obstacle of model checking. In this paper, we try to solve this problem from a coalgebraic approach. We establish an effective method to prove u…