中图分类号：TP301 文献标志码：ADOI：10. 13705/j. issn. 1671-6841. 2024144

文章编号：1671-6841（2026）01-0058-07

Abstract： In order to solve the problem of state space explosion in the model checking （试读）...