Extended NuSMV

Add a Review
2 Downloads (This Week)
Last Update:
Download enusmv_1.1.tar.bz2
Browse All Files
Linux

Description

An extend version of NuSMV, which supports symbolic model checking of ETL and APSL

Extended NuSMV Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Extended NuSMV!

Additional Project Details

Intended Audience

Science/Research

User Interface

Command-line

Registered

2008-11-12
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.