Usage

Run the tool with the following command:

./cuba -f [--input-file] arg -i [--initial] arg -s C -all

Or using the following command for help:

/cuba -h [--help]

Some related commands are explained as follows:

Usage:                     Purpose:
 ./cuba -h [--help]         show help message

Problem Instance:
 -f [--input-file] arg      an input pushdown system (default = X)
 -i [--initial] arg         an initial global state (default = 0|0,0)

Concurrent Mode:
 -s [--resource] arg        the type of resource-unbounded analysis (default = C):
                             'C': CBA or CUBA (context-(un)bounded analysis)
 -k [--res-bound] arg       resource bound, performing resource-unbounded analysis if specify nothing.
                            Per parameter -s, it has different meanings:
                             if -s = 'C', then k represents the context bound
 -x [--explicit]            the explicit exploration assuming finite resource reachability

Other Options:
 -h [--help]                help information
 -all [--all]               show all of above messages

Example