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

Nu​SMV Syntax

by JDevlieghere ALL

Sublime NuSMV Syntax

Details

Installs

  • Total 807
  • Win 306
  • Mac 256
  • Linux 245
May 11 May 10 May 9 May 8 May 7 May 6 May 5 May 4 May 3 May 2 May 1 Apr 30 Apr 29 Apr 28 Apr 27 Apr 26 Apr 25 Apr 24 Apr 23 Apr 22 Apr 21 Apr 20 Apr 19 Apr 18 Apr 17 Apr 16 Apr 15 Apr 14 Apr 13 Apr 12 Apr 11 Apr 10 Apr 9 Apr 8 Apr 7 Apr 6 Apr 5 Apr 4 Apr 3 Apr 2 Apr 1 Mar 31 Mar 30 Mar 29 Mar 28 Mar 27
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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
Mac 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
Linux 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0

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!