由于带赋值的符号迁移图(STGA)可以用有穷状态图表示具有无穷数据实例的进程,因而得到了广泛的关注。
基于10个网页-相关网页
带赋值的符号迁移图
Symbol transfer graph with assignment
以上为机器翻译结果，长、整句建议使用 人工翻译 。
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
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.
youdao
应用推荐
模块上移
模块下移
不移动