logo

GEAR

Game-based, Easy And Reverse model-checking

Release status

The current release of the plugin is version 1.0.8 known to be working with jABC version 3.6a.

Key Features

Documentation & Resources

Manual
Manual
Tutorials
Flash
Tutorials
API
Java API
(Core)
API
Java API
(GUI)
History
Version
History

Project
Details

GEAR has some additional documentation on its jETI integration in the FMICS project Wiki (English) and some implementation details and developer notes in the Java ABC Wiki (German).

Getting support

Any support requests should be sent to the GEAR mailing list which is also very suitable for discussion among the GEAR users and developers. We also provide a bug tracker for those who would like to report problems or make feature requests (registration required).

Getting GEAR

GEAR is currently not available as a public release.

If you are interested in obtaining the Java ABC Framework along with this plugin, please contact Ralf Nagel.


Last updated: $Date: 2008-05-21 11:07:04 +0200 (Wed, 21 May 2008) $.
GEAR and its webpage use images based on the Tango Desktop Project (License Details).

The authors can be contacted via e-mail: Marco Bakera and Clemens Renner.