symbolic transition graph with assignment
解决这个问题的一个方案是：使用带赋值符号迁移图(STGA)作为并发传值进程的模型，使用谓词μ演算作为刻画性质的逻辑，并采用动态实例化的算法对传值并发进程直接进行模型检测。
基于40个网页-相关网页
带赋值的符号迁移图 STGA
·2,447,543篇论文数据，部分数据来源于NoteExpress
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
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
应用推荐
模块上移
模块下移
不移动