This wiki contains various articles about org.tigris.mbt

Command-line options and handling

mbt has a variety of different command-line options. The article describes all aspects of mbt's possibilities as a command-line driven tool.

Command-line options

Terminology

All about edges
All about vertices
All about generators
All about stop conditions

Examples

A collection of examples.

Examples

How to

A collection of how to use org.mbt.tigris

How to

About org.tigris.mbt wiki;