An overview of the verification of SET