Institute of Information Science, Academia Sinica, 128 Sec 2 Academia Rd, Taipei 115, Taiwan;
reflection; rewriting logic; model checking; logic programming;
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:使用SPIN模型检查器在路由层上进行CoAP建模和验证
机译:使用自旋模型检查器对可扩展身份验证协议进行建模和验证
机译:基于材料和涂层反射的半球反射系数的空间物体反射谱模型的验证
机译:使用SPIN模型检查器对速度控制策略进行形式验证
机译:自动选择验证工具以有效分析生化模型
机译:通过反射自动验证模型检查器