Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Illustration of SMV code for the discrete value model. SMV code can be divided into three parts: variable declaration which is defined by the keyword VAR, initialization and state update which are defined by the keyword ASSIGN, and the property verification is encoded by SPEC.
