Optimization Technique for Shared Variables in Real-time System Model-Checking

• 实时系统的模型检验中针对共享变量的优化技术