NUSMV features an on-line help functionality. Each command provided by the interactive shell has a short help note describing briefly its options. Moreover, a complete description of each command is available via the NUSMV interactive shell in text format and, via a web browser, in HTML format.
>