Robustness.

• NUSMV is written in ANSI C [55] and is POSIX [42] compliant. This makes the system portable to any compliant platform. At the moment the system has been successfully compiled on various operating systems and platforms (e.g., under Sun Solaris for SPARC and Intel X86, under SunOs 4.1.X, under various versions of the Linux operating system).
• NUSMV has been throughly debugged with Purify¹⁵ to detect memory leaks and runtime memory corruption errors. The use of this tool guarantees the elimination of runtime problems in all parts of the application, and thus the delivery of a more reliable and robust application.
• The kernel of NUSMV provides low level functionalities, such as dynamic memory allocation, independently from the underlying operating system and hardware platform. Moreover, it provides routines for the manipulation of basic data structures such as cons cells, hash tables, arrays of generic types, and encapsulates the CUDD BDD package [57].