• 1. system check model: 系统校验模型
• 2. quantified check system model: 量化考核模型
• 3. model check system: 模型检测系统

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

©2026 网易公司