NuSMV_with_smm Files

NuSMV , Symbolic model mining

Brought to you by: notaflower

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
NuSMV-2.5.3_with_smm.tar.gz	2012-01-20	5.3 MB	0
benchmarks.tar.gz	2012-01-20	5.4 kB	0
Totals: 2 Items		5.3 MB	0

Other Useful Business Software

Ship Agents Faster Icon

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

99.99% Uptime for MySQL and PostgreSQL Databases Icon

99.99% Uptime for MySQL and PostgreSQL Databases

Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.

Try Free

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

Recommended Projects

Physical Symbolic Optimization (Φ-SO)
Physical Symbolic Optimization
mkLink
Make multiple types of symbolic links from the context menu.
Symbolics.jl
Symbolic programming for the next generation of numerical software
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
PySR
High-Performance Symbolic Regression in Python and Julia