Download

The multiscale multidimensional spatio-temporal meta model checker Mule is made available in binary (installer)format, as a Docker image, or as source code. Throughout the considered meta model checker instance corresponds to the spatial entity types and measures described in the following meta model checking configuration file.