 If no such file exists, user's home directory and current directory will also be checked.Commands in the initialization file are executed consecutively.When initialization phase is completed the NuSMV shell is displayed and the system is now ready to execute user commands.