*.log
*.aux
*.pdf
*.dvi
NuSMV
nusmv