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	InfoDownloads / Week
enusmv	2009-03-04	0
OldFiles	2008-11-15	1
Totals: 2 Items		1

Other Useful Business Software

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Recommended Projects

XFUNC22
XFUNC 2.2 is a IBM PC program for DOS. It is an aid to Electronics Engineer who calculates transfer functions using symbolic algebra. It compute the frequency domain transfer function of a circuit in symbolic format, given a circuit description netlist in linear model. Calculate AC or DC symbolic transfer function in S-domain for Linear Circuits or Z-domain for Switching Circuits. Accept resistors, capacitors, inductors, dependent sources, ideal opamps, and ideal switches. Component values can be real numbers, symbols, or user defined symbolic expressions. Frequency domain results can be transformed to time domain via Inverse Laplace or Z Transform. Transformation between S-domain and Z-domain results can be done via Forward or Backward Derivatives (Euler Transform), Bilinear, or Impulse Invariant Transforms. Provide Bode, Gain-Phase, Nyquist, Pole-zero, Impulse, and Step response plots. Plot ranges can be set manually or automatically.
The PEP tool
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
QSapecNG
QSapecNG is a Qt-based symbolic analysis program for linear analog circuits. In fact, it consists of two indipendently parts: the SapecNG framework engine, and the application gui QSapecNG.
C++ Template Classes of MVL
C++ template classes for Multi-Value Logic support arbitrary precision and user defined Multi-Value Logic types. This library comes with pre-defined data types: integer, boolean, bit, logic, std_logic, bit_vector, logic_vector and std_logic_vector.
circuitmod
The Future of the Java Circuit Simulator

Extended NuSMV Files

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