next up previous
Next: Implementation Up: System Architecture Previous: Interactive shell.

Graphical user interface.

The graphical user interface is a separate process, which communicates with NUSMV by sending textual commands to the interactive shell. It allows the user to inspect and set the value of the environment variables of the system, and provides full access to all the functionalities. Figures 78 and 9 show some snapshots of the graphical interface of NuSMV. (For more details see Section 3.2.3.)

NuSMV <>