Formal Methods

Question 1

Explain variables

Answer 1

Refers to declaration which represents the state of the system

Question 2

Explain invariant

Answer 2

Is a property or condition that is expected to hold true throughout the execution of the system, it is used to describe constraints or invariants that the system variables must satisfy

Question 3

Explain initialisation

Answer 3

Refers to process of settling the initial values of the variables at the start of the systems execution. It is used to define the initial state of the system and ensures that the invariant is initially true

Question 4

Give overview on variables invarianr and inilialisation

Answer 4

-variables represent the state of the system
-invariant specifies conditions that mist always hold true
-initialisation defines the initial values and conditions for the system at the start of its execution