Extended NuSMV

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

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2), GNU General Public License version 2.0 (GPLv2)

Follow Extended NuSMV

Extended NuSMV Web Site

You Might Also Like

Red Hat Ansible Automation Platform on Microsoft Azure

Red Hat Ansible Automation Platform on Azure allows you to quickly deploy, automate, and manage resources securely and at scale.

Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.

Learn More

Rate This Project

User Reviews

Be the first to post a review of Extended NuSMV!

Additional Project Details

Operating Systems

Linux

Intended Audience

Science/Research

User Interface

Command-line

Registered

2008-11-13

Similar Business Software

Uptrends

Uptrends is the ultimate monitoring tool to stay in control of the uptime, performance, and functionality of your websites, APIs, and servers. It is all about cloud-based website performance and network monitoring. Uptrends' products provides a 24/7 monitoring service that alerts and fix...

See Software
SpamTitan

SpamTitan email security is an email spam filter for businesses, smbs, MSPs, and schools. SpamTitan email security blocks spam as well as phishing and day-zero attacks, viruses, malware, ransomware, and other email threats. Helps control mail flow, clean it, and protect against unwanted...

See Software
Altium Designer

Altium Designer® offers a unified design environment backed by over 35 years of innovation and development. From schematic to PCB layout and interactive differential pair routing, to design documentation and a seamless ECAD/MCAD integration, Altium Designer empowers engineers with a single view...

See Software