To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
With the development of concurrent system in modern software applications, the testing and debugging of concurrent software have attracted more and more attentions of the programmers.
随着并发系统在现代软件开发中的应用日益广泛，并发程序的调试、测试技术的研究已经引起了人们的高度重视。
The traditional method is suitable for a simple, single user (non-concurrent) system.
传统方法适合于简单的、单用户(非并发)系统。
The traditional method is suitable for a simple, single user (non-concurrent) system.
传统方法适合于简单的、单用户(非并发)系统。
应用推荐