机译:通信协议验证中的定向显式模型检查
Institut fur Informatik, Albert-Ludwigs-Universitat Freiburg, Georges-Kohler-Allee Geb. 051, D-79110 Freiburg, Germany;
Institut fur Informatik, Albert-Ludwigs-Universitat Freiburg, Georges-Kohler-Allee Geb. 051, D-79110 Freiburg, Germany;
Institut fur Informatik, Albert-Ludwigs-Universitat Freiburg, Georges-Kohler-Allee Geb. 051, D-79110 Freiburg, Germany;
Model checking; Directed search; Protocol validation;
机译:使用任务模型和误传生成模型检查人与人之间的通信协议
机译:通过无状态显式状态探索促进多核有界模型检查
机译:使用动态测试生成和显式状态模型检查在Web应用程序中查找错误
机译:通过误通信生成和模型检查评估人-人通信协议
机译:护士从业者的发展与评价:在儿科初级保健实践中,定向自闭症筛选和早期干预议定书18个月的检查
机译:使用不同风险计算器在NHS Health Check中进行心血管疾病风险沟通的定性研究:NHS Health Check(RICO)研究中RIsk通讯的方案
机译:在通信协议验证中定向显式状态模型检查