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 7, 8 and 9 show some snapshots of the graphical interface of NuSMV. (For more details see Section 3.2.3.)
>