NuSMV का एक विस्तार संस्करण, जो ईटीएल और एपीएसएल की प्रतीकात्मक मॉडल जांच का समर्थन करता है
संस्करण इतिहास
- विवरण enusmv%201.1 पर तैनात 2009-03-04
कई सुधार और अपडेट - विवरण enusmv 1.1 पर तैनात 2009-03-04
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: enusmv.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 1.1
- मंच: linux