Popis značajnih naredbi u sustavu za verifikaciju NuSMV, u interaktivnom načinu rada
Za objašnjenje značenja naredbi, vidjeti NuSMV manual, v. 2.5 (dostupno u repozitoriju predmeta, 1.
domaća zadaća)
read_model -i <model_file.smv>
go
flatten_hierarchy
encode_variables
build_model
compute_reachable
print_reachable_states
check_fsm
check_ctlspec (-n)
check_compute (-n)
pick_state (-r)
simulate (-k steps)
show_traces