NuSMV is a software tool for the formal verification of finite state systems. It has been developed jointly by FBK-IRST and by Carnegie Mellon University.

More information about NuSMV can be found on their home page.

• Install the Package Control plugin
• Press Ctrl+Shift+P to bring up the Command Palette
• Select Package Control: Install Package
• Type 'NuSMV' to find this package
• Select 'NuSMV' to install

Thank you Francesco Gramano for significantly improving the syntax!