Next: Graphical user interface.
Up: System Architecture
Previous: Kernel.
The interactive shell was designed on top of all the other
modules. From the interactive shell the user has full access to all
the functionalities provided by the system. The interactive shell is
fully extensible, thus allowing for the development of new
commands. (For more details see Section 3.2.1.)
NuSMV <>