SMV

SMV may refer to:

• Symbolic model verification
• SMV modelling language, used in model checking by the CMU SMV and NuSMV model checkers