• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computer aided verification >GOAL for Games, Omega-Automata, and Logics
【24h】

GOAL for Games, Omega-Automata, and Logics

机译：游戏，欧米茄自动机和逻辑的目标

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper introduces the second generation of GOAL, which is a graphical interactive tool for games, ω-automata, and logics. It is a complete redesign with an extensible architecture, many enhancements to existing functions, and new features. The extensible architecture allows easy integration of third-party plugins. The enhancements provide more automata conversion, complementation, simplification, and testing algorithms, translation of full QPTL formulae, and better automata navigation with more layout algorithms and utility functions. The new features include game solving, manipulation of two-way alternating automata, translation of ACTL formulae and ω-regular expressions, test of language star-freeness, classification of ω-regular languages into the temporal hierarchy of Manna and Pnueli, and a script interpreter.
机译：本文介绍了第二代GOAL，它是用于游戏，ω-自动机和逻辑的图形交互工具。它是一个完整的重新设计，具有可扩展的体系结构，现有功能的许多增强功能和新功能。可扩展的体系结构允许轻松集成第三方插件。增强功能提供了更多的自动机转换，补充，简化和测试算法，完整的QPTL公式的翻译，以及具有更多布局算法和实用程序功能的更好的自动机导航。新功能包括游戏解决方案，双向交替自动机的操作，ACTL公式和ω-正则表达式的翻译，语言无星星性测试，将ω-正则语言分类为Manna和Pnueli的时间层次的功能以及脚本口译员。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号