Skip to content

Latest commit

 

History

History
16 lines (15 loc) · 461 Bytes

README.md

File metadata and controls

16 lines (15 loc) · 461 Bytes
Raw

NuSMV Model Verification Module

Installing NuSMV:

  1. brew install nusmv -- Installs the NuSMV CLI on your MAC. For other operating systems, google it.

Running NuSMV Model Verification Programs:

  1. Open NuSMV in the terminal nusmv -int
  2. Read the NuSMV model file:
$read_model -i {FILE_NAME}.smv
$flatten_hierarchy
$encode_variables
  1. To verify the model against requirement, use:
$check_ltlspec -p "G {YOUR_EXPRESSION}"