GOAL extended: Towards a research tool for omega automata and temporal logic
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
4963 LNCS
Pages
346-350
Date Issued
2008
Author(s)
Abstract
This paper reports extensions to the GOAL tool that enable it to become a research tool for omega automata and temporal logic. The extensions include an expanded collection of translation, simplification, and complementation algorithms, a command-line mode which makes GOAL functions accessible by programs, and utility functions for such common tasks as file format conversion, random formulae generation, and statistics collection. © 2008 Springer-Verlag Berlin Heidelberg.
Other Subjects
Fuzzy logic; Program translators; Research; Translation (languages); Complementation; European; File formats; Goal functions; Heidelberg (CO); International conferences; Utility functions; Temporal logic
Type
conference paper