jABC.

a framework for process modeling

GEAR

Manual

See the GEAR Website for additional information on GEAR and model checking.

The GEAR Manual is part of the general jABC Manual.