Verified second-order accurate vm_staggered