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.