ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Nu​SMV Syntax

by JDevlieghere ST2/ST3

Sublime NuSMV Syntax

Details

Installs

  • Total 593
  • Win 207
  • OS X 199
  • Linux 187
Aug 18 Aug 17 Aug 16 Aug 15 Aug 14 Aug 13 Aug 12 Aug 11 Aug 10 Aug 9 Aug 8 Aug 7 Aug 6 Aug 5 Aug 4 Aug 3 Aug 2 Aug 1 Jul 31 Jul 30 Jul 29 Jul 28 Jul 27 Jul 26 Jul 25 Jul 24 Jul 23 Jul 22 Jul 21 Jul 20 Jul 19 Jul 18 Jul 17 Jul 16 Jul 15 Jul 14 Jul 13 Jul 12 Jul 11 Jul 10 Jul 9 Jul 8 Jul 7 Jul 6 Jul 5 Jul 4
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 2
OS X 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1

Readme

Source
raw.​githubusercontent.​com

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.

Installation

  • 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

Contributions

Thank you Francesco Gramano for significantly improving the syntax!