The quality of interaction with the system is very important in several phases of the verification task. NUSMV provides various user functionalities. In the following these functionalities will be briefly explained.
>