SMV (questo sconosciuto)

[nusjcon]

Qualcuno sa dirmi cosa devo fare per poter leggere un file con estensione .smv e/o se si può convertire in un altro formato?

Grazie.
Ciao

[sex]

ma che formato è SMV

[keko]

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.

[nusjcon]

Ho seguito il tuo consiglio.
Ho scaricato il programma, l'ho installato, però non riesce a leggermi questo tipo di file.
Il mio file .smv è un filmato video di 491 KB.
Il programma che mi hai segnalato serve solo per i documenti, e non apre il mio filmato .smv.
Cmq, ti ringrazio molto!
Ho fatto una ricerca in rete, ed ho scoperto che quell'estensione .smv, dovrebbe essere un filmato che è stato creato con un programma del tipo: VideoMail (o qualcosa del genere), ...penso sia un programma per WebCam.
Ho scaricato pure un programma chiamato "VideolinkMail 3.0" e un altro simile, ma nessuno di questi mi legge il file .smv
Come cavolo faccio a vederlo? Possibile che non esista un programma in grado di leggere questo tipo di file (filmato) .smv?
Nessuno altro è in grado di aiutarmi o fornirmi informazioni?

PS: Ma chi cavolo ha inventato questo schifo di estensione?

Help me, please.