The video covers the different styles of modelling Mealy state-machines. It also includes the theoretical aspects of timing control.