Automata; Finite element analysis; Model checking; Petri nets; Computational modeling; Context modeling;
机译:无限系统上具有可达性谓词的一阶逻辑
机译:验证无限状态系统中越来越多的时态逻辑
机译:使用一阶逻辑和应用程序来验证可达性,以验证链接的数据结构
机译:一阶逻辑可用于无限状态系统
机译:列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:无限状态系统的高效一阶时态逻辑