Phase variation simulation output analysis (rectangular geometry)
Automatic analysis of the Phase Variation simulation output using image processing functions.
More details are provided in the open access paper "Automatic validation of computational models using pseudo-3D spatio-temporal model checking" (http://www.biomedcentral.com/1752-050...) and on the official Mudi website (http://mudi.modelchecking.org).