Please watch the tutorial below for more details on how to download, install and use the multidimensional spatio-temporal model checker Mudi:


Tutorial: Installing and using the model checker Mudi



For best visual experience select the 1080p resolution from the bottom right corner of the video player.