SMV = "Symbolic Model Verifier"

Trovi un pò di notizie ed info qui:

http://www-cad.eecs.berkeley.edu/~kenmcmil/smv/

Un programma freeware per visualizzare fi con estensione smv invece a questo link:


http://www-cad.eecs.berkeley.edu/~ke.../smv/dld2.html


Compila il form poi in fondo ala pagina clicca su: I agree.
Ho notato che il file che ti scarica è senza estensione exe quindi non puoi lanciare il setup.
Rinomina semplicemente il file aggiungendo .exe e poi doppio click per il setup.