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.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
The fairness is introduced to electronic check system for the first time, and the model of fair electronic check is discussed.
首次将公平性引入电子支票中，描述了公平电子支票的模型，设计了一个可直接花费余额的公平电子支票系统。
A computer network vulnerability evaluation system is designed based on attack graph modeling method. The computer network security evaluation tools and model check tools are integrated in the system.
以攻击图建模方法为基础，提出了一种综合利用网络安全评估工具、模型检验工具的计算机网络脆弱性评估系统的设计方案。
应用推荐