Minimisation of Spatial Models using Branching Bisimilarity - Validation code and data

Abstract

This code runs the experimental validation for the paper: Title: Minimisation of Spatial Models using Branching Bisimilarity Authors: Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink and Erik P. de Vink FORMAL METHODS 2023 See https://fm2023.isp.uni-luebeck.de This repository is obtained by using "git archive" of the main branch with tag "zenodo-FM2023" of the repository: https://github.com/VoxLogicA-Project/FM2023-Validation Please visit the repository for updates