NuSMV

von Andrew Heard

Jetzt herunterladen 4.6 MB

Lizenz: Freeware

Downloads insgesamt:68 (letzte Woche)

Die neueste Version:2.6

Falschangaben melden

Produktbeschreibung

Bildschirmfoto

Unsere Webseite stellt Ihnen NuSMV 2.6.0 als kostenlosen Download zur Verfügung. Dieser Download wurde von unseren eingebauten Antivirenprogrammen durchgescannt und als virenfrei eingestuft. Diese Software ist als "Programmierung" kategorisiert. Die neueste Installationsdatei, die hier heruntergeladen werden kann, hat die Größe von 4.6 MB. Der eigentliche Entwickler dieser kostenlosen Software ist Andrew Heard.

Vom Entwickler:

NuSMV is a symbolic model checker for the analysis of synchronous finite-state and infinite-state systems. NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs.

Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Solibri Model Checker, PiXel Check oder Navicat Data Modeler informieren, die an NuSMV ähnlich sein können.

NuSMV herunterladen

nützlich

So schützen Sie Ihren Mac vor Malware

nützlich

So teilen Sie Dateien

nützlich

Wie man mit 10 Fingern schreibt