Model checking
Formal verification has two steps: the creation of a mathematical model of a system (model generation) and evaluation of that model (model checking). Innovation in model checking often means developing more efficient methods for determining a model’s outputs over a wide range of inputs.