next up previous
Next: Graphical user interface. Up: System Architecture Previous: Kernel.

Interactive shell.

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 <>