द्वारा कार्यक्रम enusmv.sf.net

NuSMV का एक विस्तार संस्करण, जो ईटीएल और एपीएसएल की प्रतीकात्मक मॉडल जांच का समर्थन करता है