Extended NuSMV Files

Brought to you by: liuwanwei

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
enusmv	2009-03-04		0
OldFiles	2008-11-15		0
Totals: 2 Items			0

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Build Securely on Azure with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

Recommended Projects

Simple Java Mail API
Very simple API to send mail through an SMTP server. Works in the command-line or inside other projects as a lib. Uses javamail to send the messages and commons-cli to parse the command-line arguments.
SMPlayer
Free media player with support for Youtube
VLC media player
The best free media player for video and DVDs
Brave Browser
The faster, safer desktop browser for macOS, Windows, and Linux

Extended NuSMV Files

Get an email when there's a new version of Extended NuSMV