_init_state_formula - write resettability condition as a CTL formula

_init_state_formula [-h] [<init_file>]

Write resettability condition as a CTL formula. Writes to init_file is specified, else stdout.

Last updated on 20050519 00h50