Verification and numerical implementation of a 3D liquefaction model