Model Checking and Testing of Concurrent Systems

• 并发系统的模型检测与测试