In this talk we will first provide an alternative proof of the Weitzenbock formula using Berger curvature decomposition, as applications we will discuss rigidity of Einstein four-manifolds under some positive curvature conditions. At the end we will discuss the Weitzenbock formula for generalized quasi-Einstein metrics on four-manifolds.