द्वारा कार्यक्रम enusmv.sf.net
-
Extended NuSMV मुफ्त
NuSMV का एक विस्तार संस्करण, जो ईटीएल और एपीएसएल की प्रतीकात्मक मॉडल जांच का समर्थन करता है
NuSMV का एक विस्तार संस्करण, जो ईटीएल और एपीएसएल की प्रतीकात्मक मॉडल जांच का समर्थन करता है