There are mainly four types of static verification of a software application which includes:
Informal reviews
Technical reviews
Walkthroughs
Formal inspection