Formal models are used to predict how a solution will behave.