“A Gaussian process approach to model checks”