sym_search - Performs symbolic (mdd based) state space search on a module

sym_search [-v] [-h] <module_name>

The command performs MDD based symbolic search on the state space of a module starting from its initial region. The build_trans command must be executed prior to executing this command. Command Options:

verbose mode - prints MDDs associated with each intermediate step

stop reachability after prescribed numbe of steps
print usage

Last updated on 980624 22h11