Dept of Computer Science, The Weizmann Institute of Science, Rehovot, Israel;
机译:模型检查间隔时间逻辑与正则表达式
机译:量子马尔可夫链的ω-正则性质模型检验
机译:量子马尔可夫链的ω-正则性质模型检验
机译:模型模型检查多种子体系统与认证HS规范的正则表达式
机译:将类型检查与模型检查相结合以进行系统验证
机译:预测接受定期检查的无症状人群中发生侵蚀性食管炎的未来风险的模型
机译:使用常规语言推理的常规模型检查