# NuSMV Syntax for Sublime 

> 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](http://nusmv.fbk.eu/NuSMV/).

## Installation

  * Install the [Package Control](https://packagecontrol.io/installation) 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

## Contributions 

Thank you [Francesco Gramano](https://github.com/g2graman) for significantly improving the syntax!