We provide an isoperimetric inequality for critical metrics of the volume functional with nonnegative scalar curvature on compact manifolds with boundary. In addition, we establish a Weitzenbock type formula for critical metrics of the volume functional on four-dimensional manifolds. As an application, we obtain a classification result for such metrics.