https://goal.im.ntu.edu.tw/wiki/ 2026-08-10T09:32:06+00:00 https://goal.im.ntu.edu.tw/wiki/ https://goal.im.ntu.edu.tw/wiki/lib/exe/fetch.php?media=wiki:dokuwiki.svg text/html 2026-08-06T02:34:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://goal.im.ntu.edu.tw/wiki/doku.php?id=goal:download&rev=1785983642&do=diff <script src='https://www.google.com/recaptcha/api.js'></script> Registration * If this is your first time to download GOAL, please fill out this form and click the submit button to be taken to the download page. (Fields marked with an asterisk <font color='red'>*</font> are required.) * Otherwise, please fill the email field and click the submit button. <!--In each case, a notice will be automatically generated and sent to you at that email address.--> <form name='user_form' method='post… text/html 2026-08-06T02:05:34+00:00 Anonymous (anonymous@undisclosed.example.com) https://goal.im.ntu.edu.tw/wiki/doku.php?image=goal%3Agoal-2vwaa.png&ns=goal&rev=1785981934&tab_details=history&media_do=diff&do=media <img src="https://goal.im.ntu.edu.tw/wiki/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=ff4390&amp;media=goal:goal-2vwaa.png" alt="goal-2vwaa.png" loading="lazy" width="500" height="500" /> text/html 2022-10-03T22:52:33+00:00 mht208 (mht208@undisclosed.example.com) https://goal.im.ntu.edu.tw/wiki/doku.php?id=goal:changelog&rev=1664837553&do=diff Note: GOAL was made publicly available on 2006-08-23. There have since been several new releases, each introducing some changes and new features. Changes by earlier versions are not documented. Next Release * [CORE] Draw alternating states correctly in the tikz outputs. text/html 2020-05-06T23:04:44+00:00 mht208 (mht208@undisclosed.example.com) https://goal.im.ntu.edu.tw/wiki/doku.php?id=start&rev=1588806284&do=diff What's New * 2020/05/07: Version 2020-05-06 is released. * 2015/10/19: Add a plugin contributed by Daniel Weibel. * 2015/10/18: The version 2015-10-18 is released. What Is GOAL 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 re… text/html 2014-02-26T07:00:04+00:00 mht208 (mht208@undisclosed.example.com) https://goal.im.ntu.edu.tw/wiki/doku.php?image=goal%3Agoal_ciaa.zip&ns=goal&rev=1393398004&tab_details=history&media_do=diff&do=media <img src="https://goal.im.ntu.edu.tw/wiki/lib/images/fileicons/svg/zip.svg" alt="goal_ciaa.zip" loading="lazy" width="500" height="500" />