NUSMV was designed to be robust and easy to maintain and to modify. The features of the NUSMV implementation are listed below. They are grouped depending the design task that they are intended to accomplish.
>