The objective of the paper is to present the results of verification of ABS models applied in PCCrash and HVE (Human-Vehicle-Environment) computer programs in various road conditions. The aim was achieved by comparison of the road tests results obtained and calculations performed using the programs for the same initial values of the measured variables. First static tests were carried out for parametrization of the mathematical model of the object of the research – a passenger car equipped with ABS. Road tests were performed including extreme braking on a μ-split with and without corrective steer, and extreme braking during lane-change manoeuvre.