“…First rigorous approachs can be found in [2][3][4] suitable for unsteady nonlinear models, and [5][6][7] for degenerated problems. Recently, abstract frameworks for a posteriori estimates appeared, for two-phase flow [8,9], multiphase compositional model [10], and the thermal multiphase compositional global model [11]. In these frameworks the dual norm of the residual augmented by a nonconformity evaluation term is controlled by fully computable estimators decomposed into space, time, linearization, and algebraic error components.…”