A plugin can appear as a folder or a zipped file. To install a plugin, simply copy the plugin to the plugins folder of GOAL. For Mac users, the plugins folder is located in GOAL.app/Contents/Resources/Java/plugins
Users' Contributions
Fribourg Construction
Description: This plugin provides a complementation construction “Fribourg Construction” for nondeterministic Büchi automata.
Contributor: Daniel Weibel (Department of Computer Science, University of Fribourg, Switzerland)