基于行为约束传播的并发系统状态空间约简方法

基于行为约束传播的并发系统状态空间约简方法基于行为约束传播的并发系统状态空间约简方法随着并发系统规模的不断增大，在系统测试、验证和调试的过程中，状态空间爆炸的问题越来越严重。在这种情况下，寻求一种有效