Multidimensional model checker for the validation of spatial-temporal computational models.