GEAR View animated Flash tutorials

Overview

This page provides several online tutorials that should help getting familiar with the plugin and its usage.

To view these demonstrations, you will need the standalone Macromedia Flash Player or an appropriate plugin for your web browser.

Available tutorials

These are on extra pages opened in this window):

• Basic model checking in Java ABC (2005-10-24)
• Syntax help and reverse model checking (2005-10-25)
• Applying code to satisfying SIBs (2005-10-24)
• Using the command-line interface to model-check SIB graphs without the framework being available (2005-10-24)
• Using additional propositions from SIB parameters (2005-10-25)
• Copy properties (namely formulas and their description) between different graphs (2006-01-12)
• Switch between the Java-ABC- and Model-Checking-View (2006-01-12)
• Tutorial into macro creation using a simple implication macro as example (2006-06-14)
• Demonstration of fork/join parallelism expansion (2008-01-28)
• Demonstration of model checking of fork/join parallelism (2008-01-28)

Presentations

These are animations created for live presentations of GEAR. They are not intended to be instructive or interesting).

• Presentation held during jABC meeting at University of Dortmund on 2005 Oct, 28.

Return to the main page

Back to the main page

Last updated: $Date: 2008/03/20 13:26:59 $ ($Revision: 1.4 $).
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.