commands.md

Commands

nuxmv -int ./t2.smv

go; pick_state -v -a -i

simulate -v -a -i -k 1

show_traces -v -a

go; check_ltlspec

go; check_ctlspec