Plugins

The functional range of the jABC can be extended by plugins, of which many are the basis for a dedicated jABC Product. Plugins that provide fundamental functionality are usually part of various products.

Those plugins are for instance:

• The Tracer model interpreter
• The game-based model checker GEAR
• The LocalChecker plugin
• The code generator framework Genesys
• The Taxonomy Editor plugin
• The remote execution framework jETI
• The Layouter plugin