NuSMV

par Andrew Heard

Télécharger 4.6 MB

Type de licence: Gratuit

Nombre de téléchargements:67

Latest version:2.6

Signaler des informations incorrectes

Description

Capture d'écran

Obtenez gratuitement NuSMV 2.6.0 dans notre logithèque. Andrew Heard est l'auteur de cette application gratuit. Ce téléchargement a été scanné par notre antivirus intégré, qui l'a certifié totalement propre. Le packet d'installation le plus récent disponible pèse 4.6 MB. Ce programme appartient à la sous-catégorie Webmaster Tools de Outils de développement.

Du développeur:

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.

Que diriez-vous d'essayer aussi des logiciels en rapport avec NuSMV ? Nous vous proposons SeqMan, Wizard Pro ou Insights.

Télécharger NuSMV

utile

Comment protéger votre Mac contre les logiciels malveillants

utile

Comment partager des fichiers

utile

Comment taper avec 10 doigts