Go to the first, previous, next, last section, table of contents.

3.2 Definition of the Kripke structure

• State Variables
• Input Variables
• ASSIGN declarations
• TRANS declarations
• INIT declarations
• INVAR declarations
• DEFINE declarations
• ISA declarations
• MODULE declarations
• Identifiers
• The main module
• Processes
• FAIRNESS declarations