https://github.com/jdevlieghere/sublime-nusmv
Sublime NuSMV Syntax
https://github.com/jdevlieghere/sublime-nusmv
Last synced: 7 months ago
JSON representation
Sublime NuSMV Syntax
- Host: GitHub
- URL: https://github.com/jdevlieghere/sublime-nusmv
- Owner: JDevlieghere
- Created: 2013-12-16T12:55:34.000Z (over 12 years ago)
- Default Branch: master
- Last Pushed: 2016-07-27T09:08:44.000Z (almost 10 years ago)
- Last Synced: 2025-03-28T00:35:49.613Z (over 1 year ago)
- Homepage:
- Size: 11.7 KB
- Stars: 5
- Watchers: 3
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# 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!