Ich bin nicht in der Lage, NuSMV-2.6.0-win64 auf Windows 10 OS zu installieren. Ich habe dies erfolgreich heruntergeladen, kann aber nicht von 'bin'folder installieren, der extrahiert wurde.NuSMV wird nicht installiert
Sie müssen kein Installationsprogramm ausführen. Sie können nur die binäre ausführbare Datei ausführen, die sich im Ordner bin befindet. Wenn Sie in den Ordner bin suchen, sollte eine Datei mit dem Namen nusmv-xxx-.exe und diese Datei, die Sie ausführen können.
BTW Sie können auch das NuSeen-Plugin in Eclipse mit NuSMV für bequeme Quellformatierung und Syntaxhervorhebung verwenden.
Ich versuchte dies, aber die Antwort von Microsoft ist, dass die Datei nicht kompatibel ist für die Os, die Windows 10 ist. Was kann ich tun? – purnachandra
@purnachandra Überprüfen Sie, ob Sie die richtige Architekturversion heruntergeladen haben (32 oder 64 Bit). Ich habe gerade das 64-Bit-Paket heruntergeladen, es mit 7-zip dekomprimiert und NuSMV in einem Terminal unter Windows 10 ausgeführt. –
Ich habe den korrekten NuSMV-win64 heruntergeladen, aber der Fehler besteht weiterhin, möglicherweise liegt ein Softwarefehler im PC vor! – purnachandra
mit Hilfe eines Freundes habe ich Folgendes getan: Ich habe die entpackte Datei (NuSMV-2.6.0-win64) auf den Desktop-Ordner (SMV) heruntergeladen und die zu verifizierende Datei in die 'Bin' des NuSMV-Datei.Dann wurde mit dem Befehl 'cmd' das Verzeichnis mit dem Befehl 'Chdir' in den erforderlichen Pfad geändert. In meinem Fall ist es C: \ users \ dell \ desktop \ SMV \ NuSMV-2.6.0-win64 \ bin> NuSMV Dateiname 'ENTER'.Mit dieser konnte die Datei im Batch-Modus verifiziert werden und ich war erfolgreich.
Bitte geben Sie den Fehler screenshot – ISHIDA