• 验证 - 引用次数：8

  Model Checking is one of the most successful technologies of automatic verfication,its successful application is ascribed to the support of valid verification tools.

  模型检测是最成功的自动验证技术之一,其成功应用归功于有效验证工具的支持。

  参考来源 - 基于SPIN/Promela的并发系统验证 in C

·2,447,543篇论文数据，部分数据来源于NoteExpress