Rice University, Department of Computer Science, Houston, TX 77251-1892, U.S.A.;
buechi automata; model checking; linear-temporal logic;
机译:随机游戏的模型检验和策略综合:从理论到实践(特邀演讲)
机译:通过一计数器自动机进行模型检查记忆线性时间逻辑
机译:象征性自动机理论与申请(邀请谈话)
机译:线性时间模型检查:实践中的自动机理论(邀请谈话的扩展摘要)
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:线性时间模型检验:实践中的自动机理论
机译:关于多方,多会话,多模式通信的多层对话管理的想法(邀请谈话的扩展摘要)