The formulation for punching shear is presented in Context Help, which is available within the SAFE interface through Help > Documentation > Verification > ACI318. This verification example provides step-by-step calculations which serve as an overview of the punching-shear process.