7.3.3. Model Checking

Try these first

1. 1.

   What is model checking?

   Hint

   Think about how states are systematically checked.

2. 2.

   Give an example of a safety property.

   Hint

   Safety properties prevent bad occurrences.

3. 3.

   What does model checking entail?

   • Only checking specific test cases
   • Exhaustively exploring all possible states
   • Running simulations under different conditions

   Hint

   Remember the main goal of model checking.

4. 4.

   Safety properties ensure that bad things never happen in a system. True or False?

   • True
   • False

   Hint

   Safety concerns the prevention of undesired events.

5. 5.

   Design a simple circuit and define the safety and liveness properties for it. Then, describe how you would use model checking to verify these properties.

   Hint

   Focus on the properties relevant to your design.

6. 6.

   Explain the role of state space reduction techniques in model checking and give an example of such a technique.

   Hint

   Consider how reducing complexity aids in model checking.