next up previous
Next: System Architecture Up: User Functionalities Previous: On the fly modification

Help on line.

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.

NuSMV <>