Quantum mechanical (QM) methods have also been investigated as a mean to improve the docking score by better taking into consideration the formation of the covalent bond. For instance, the WIDOCK procedure is based on derived ligand reactivity against cysteine residues, either from experiments or from Density Functional Theory (DFT) calculations.