From jABC Manual Wiki
Jump to: navigation, search
GEAR logo

GEAR is a verification tool that aids in the quality assurance process for software. It makes use of solid theoretical foundations while providing a convenient and functionally rich user interface. Due to its integration into the jABC platform, it can be used to assist in the model-driven development process.

These manual pages cover the following aspects related to GEAR.

At first sight

Since a picture is worth more than a thousand words, the following screen shots will give you an idea of GEAR in action.

Overview of GEAR
GEAR in Action
A game-graph used by GEAR for elaborate verification results
The formula manager supporting the user by managing properties.
Information about available Macros