Model checking

Model checking is like playing a game. You have a set of rules, and a set of pieces, and you move the pieces around to find out if you can complete the game within the given rules. In model checking, the rules are written with symbols and math and the pieces are tasks and variables that can be changed. We use model checking to make sure that a machine, like a computer, will work correctly when it's asked to do certain tasks and when certain conditions are met. We check to make sure that it follows the correct set of rules and nothing goes wrong.