GOAL swMATH ID: 21229 Software Authors: Tsay, Y.-K., Chen, Y.-F., Tsai, M.-H., Wu, K.-N., Chan, W.-C. Description: GOAL is a graphical interactive tool for defining and manipulating Büchi automata and temporal logic formulae. It also partially supports other variants of omega-automata. The GOAL tool can be used for educational purposes, helping the user get a better understanding of how Büchi automata work and how they are related to linear temporal logics. It may also be used to construct correct and smaller specification automata, supplementing model checkers such as SPIN that adopt the automata-theoretic approach. Since the release dated 2007-06-01, most functions can be accessed by programs or scripts, making GOAL convenient for supporting research. The acronym GOAL was originally derived from “Graphical Tool for Omega-Automata and Logics”. It also stands for “Games, Omega-Automata, and Logics”, as we gradually add support for omega-regular games. Our long-term goal is for the tool to handle all the common variants of omega-automata and the logics that are expressively equivalent to these automata. Therefore, the GOAL tool will constantly be extended and improved; please come back once in a few months for a better version. Homepage: http://goal.im.ntu.edu.tw/wiki/doku.php Related Software: SPIN; LTL2BA; Matlab; PROMELA; Simulink; JFLAP Cited in: 6 Publications Standard Articles 1 Publication describing the Software Year GOAL: a graphical tool for manipulating Büchi automata and temporal formulae Tsay, Yih-Kuen; Chen, Yu-Fang; Tsai, Ming-Hsien; Wu, Kang-Nien; Chan, Wen-Chin 2007 all top 5 Cited by 14 Authors 3 Chen, Yu-Fang 2 Abdulla, Parosh Aziz 2 Holík, Lukáš 2 Tan, Li 2 Tsai, Ming-Hsien 2 Tsay, Yih-Kuen 2 Vojnar, Tomáš 1 Chan, Wen-Chin 1 Chang, Jinn-Shu 1 Fogarty, Seth J. 1 Luo, Chi-Jian 1 Vardi, Moshe Ya’akov 1 Wu, Kang-Nien 1 Zeng, Bolong Cited in 3 Serials 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 Logical Methods in Computer Science Cited in 1 Field 6 Computer science (68-XX) Citations by Year